Результат фильтрации: 13583 элемента

Внимание! Видеоматериалы, размещённые в данном разделе, представлены из открытых интернет-источников в исходном виде. В связи с этим Администрация сайта profspo.ru не несёт ответственности за содержание данных материалов и не является их правообладателем. Использование на сайте материалов из открытых интернет-источников осуществляется в соответствии со ст. 1274 ГК РФ («Свободное использование произведения в информационных, научных, учебных или культурных целях»).

Лекция 5 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский

Лекция 5 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/29856 Другие лекции по курсу "Программирование с зависимыми типами на языке Idris"…

Программирование

Лекция 5 | Путешествие по современным областям анализа и теории чисел | Harald Helfgott | Лекториум

Лекция 5 | Курс: Путешествие по современным областям анализа и теории чисел | Лектор: Harald Helfgott | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/25025 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Математика

Лекция 5 | Рассказы о теории чисел | Александр Смирнов | СПбГУ | Лекториум

Лекция 5 | Курс: Рассказы о теории чисел, алгебраической геометрии и гомотопической топологии | Лектор: Александр Смирнов | Организатор: Санкт-Петербургский Государственный Университет (СПбГУ) Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13217 Подписывайтесь на канал:…

Математика

Лекция 5 | Регулярность в задачах со свободными границами | Н.Н. Уральцева | Лекториум

Лекция 5 | Курс: Регулярность в задачах со свободными границами | Лектор: Н.Н. Уральцева | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14695 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Математика

Лекция 5 | Синхронизируемые автоматы | Михаил Волков | Лекториум

Лекция 5 | Курс: Синхронизируемые автоматы | Лектор: Михаил Волков | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/13242 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Информатика, информационные технологии и программирование

Лекция 5 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум

Лекция 5 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13185 Леммы о контекстах. Типизируемость подтермов, нетипизируемые предтермы. Лемма подстановки. Теорема о…

Программирование

Лекция 5 | Сложность булевых функций | Владимир Подольский | Лекториум

Лекция 5 | Курс: Сложность булевых функций | Лектор: Владимир Подольский | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/24693 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Математика

Лекция 5 | Современная алгебра | Сергей Коковин | Лекториум

Лекция 5 | Автор: Сергей Коковин | Курс: Современная алгебра | Организаторы: Математическая лаборатория имени П.Л. Чебышева Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/35811 Смотрите другие лекции курса «Современная алгебра»: https://www.lektorium.tv/node/35078 Подписывайтесь на…

Математика

Лекция 5 | Спектральная теория графов | Данила Черкашин | Лекториум

Лекция 5 | Курс: Спектральная теория графов | Лектор: Данила Черкашин | Организатор: CSClub Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/32601 Другие лекции по курсу «Спектральная теория графов» доступны для просмотра по ссылке: https://www.lektorium.tv/node/32399 Подписывайтесь на канал:…

Математика

Лекция 5 | Спектральная теория дифференциальных операторов | Николай Филонов | Лекториум

Лекция 5 | Курс: Спектральная теория дифференциальных операторов | Лектор: Николай Филонов | Организатор: Математическая лаборатория имени П.Л. Чебышева Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/33347 Другие лекции курса «Спектральная теория дифференциальных…

Математика

Лекция 5 | Структуры данных, основанные на указателях | Елена Арсеньева | Лекториум

Лекция 5 | Автор: Елена Арсеньева | Курс: Структуры данных, основанные на указателях | Организаторы: Computer science club Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/35769 Смотрите другие лекции курса «Структуры данных, основанные на указателях»:…

Информатика, информационные технологии и программирование

Лекция 5 | Теорема Римана-Роха Классика и современность | С. Ягунов | Лекториум

Лекция 5 | Курс: Теорема Римана Роха: Классика и современность | Лектор: С. Ягунов | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14728 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Математика

Лекция 5 | Теоретико-сложностные основы криптографии | Дмитрий Ицыксон | Лекториум

Лекция 5. Семейство псевдослучайных функций | Курс: Теоретико-сложностные основы криптографии | Лектор: Дмитрий Ицыксон | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/27936 Другие лекции по курсу "Теоретико-сложностные основы…

Информатика, информационные технологии и программирование

Лекция 5 | Теоретико-числовые алгоритмы и криптография | Александр Храбров | Лекториум

Лекция 5 | Курс: Теоретико-числовые алгоритмы и криптография | Автор: Александр Храбров | Организаторы: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/36564 Смотрите другие лекции курса «Теоретико-числовые алгоритмы и криптография»:…

Математика

Лекция 5 | Теоретическая информатика | Александр Охотин | Лекториум

Лекция 5 | Курс: Теоретическая информатика | Лектор: Александр Охотин | Организатор: Математическая лаборатория имени П.Л.Чебышева СПбГУ Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/33714 Другие лекции по курсу «Теоретическая информатика» доступны для просмотра по…

Информатика, информационные технологии и программирование

Лекция 5 | Теоретическая информатика | Александр Охотин | Лекториум

Лекция 5 | Курс: Теоретическая информатика | Лектор: Александр Охотин | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/28818 Другие лекции по курсу "Теоретическая информатика" доступны для просмотра по…

Информатика, информационные технологии и программирование

Лекция 5 | Теоретическая информатика | Федор Петров | Лекториум

Лекция 5 | Курс: Теоретическая информатика | Лектор: Федор Петров | Организатор: Математическая лаборатория имени П.Л.Чебышева СПбГУ Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/30177 Другие лекции по курсу "Теоретическая информатика" доступны для просмотра по…

Информатика, информационные технологии и программирование

Лекция 5 | Теория вероятностей | Юрий Давыдов | Лекториум

Лекция 5 | Курс: Теория вероятностей | Лектор: Юрий Давыдов | Организатор: Математическая лаборатория имени П.Л. Чебышева СПбГУ Смотрите это видео на Лекториуме: https://www.lektorium.tv/Zf2 Другие лекции по курсу «Теория вероятностей» доступны для просмотра по ссылке:…

Математика

Лекция 5 | Теория детских рисунков | Александр Звонкин | Лекториум

Лекция 5 | Курс: Теория детских рисунков | Лектор: Александр Звонкин | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/24552 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Математика

Лекция 5 | Теория кодирования | Андрей Ромащенко | Лекториум

Лекция 5 | Курс: Теория кодирования | Лектор: Андрей Ромащенко | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13669 Другие лекции по курсу "Теория кодирования" доступны для просмотра по ссылке: https://www.lektorium.tv/Z3L Подписывайтесь на…

Информатика, информационные технологии и программирование