ruSTEP30dec21ProblemsDay
Второй традиционный День Проблем семинара ruSTEP в канун нового 2022 года.
Программа (указаны тайм-коды):
00:00-28:00 Андрей Валентинович Климов: Теории имен А. Питтса и М. Габбая и семантика ссылок в языках программирования
28:30-54:00 Аркадий Валентинович Климов: О моделировании машин Тьюринга сетями Петри
54:30-01:20:00 Дмитрий Александрович Кондратьев: Небольшая программа, демонстрирующая сложности автоматизации дедуктивной верификации
01:20:30-01:41:00 Борис Леонидович Файфель: Вычисление чисел Фибоначчи по формуле Бине без использования плавающей арифметики
01:41:30-02:15:00 Николай Вячеславович Шилов: Как «встроить» программную инженерию в курсы по математике для программистов?
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «ruSTEP30dec21ProblemsDay», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.