Курсы Computer Science клуба в 2021 году: верификация, фотограмметрия, статистика, логика, теория игр и другие
Все курсы Computer Science клуба в 2021 году проходили в онлайн режиме. Мы собрали для вас подборку видеозаписей лекций, которые выложены на нашем youtube канале.
Введение в формальную верификацию программ
Введение в формальную верификацию с использованием системы интерактивного
доказательства теорем Coq (https://coq.inria.fr). Страница курса.
Фотограмметрия (трёхмерная реконструкция)
Курс рассказывает об основных этапах фотограмметрической обработки: от поиска и сопоставления ключевых точек на фотографиях и определения взаимного расположения этих фотографий (Multiple View Geometry) до построения попиксельных карт глубины фотографий и реконструкции цветной высокодетальной полигональной
модели поверхности (Multi-View Stereo). Страница курса.
Введение в математическую статистику
Курс с прикладным уклоном, в котором громоздкие аналитические построения заменяется численными методами везде, где это возможно. Это позволяет научиться работать с моделями, которые нам интересны и близки к реальным задачам, а не только с теми, которые мы умеем исследовать аналитически. Страница курса.
Дизайн аукционов и игр
Программа примерно соответствует части курса Меchanism Design для старшекурсников университета Northwestern (Иллинойс, США) и курса Algorithmic Game Theory для аспирантов университета Stanford (Калифорния, США). Страница курса.
Семантические аспекты интуиционистской логики
Курс про базовые семантические аспекты интуиционистской логики. В курсе рассказывается про семантику Крипке, которая позволяет нам рассматривать интуиционистские логики как логики частичных порядков. Помимо самого исчисления Гейтинга мы в общих чертах рассматриваются расширения интуиционисткой логики, которые называются суперинтуиционисткими. Страница курса.
Теория сложности вычислений
В курсе излагаются как классические вещи (классы P, NP, сводимость и NP-полнота), так и более продвинутые вещи: вычисления с ограниченной памятью, полиномиальную иерархию, булевы схемы, вероятностные алгоритмы, интерактивные протоколы и вероятностно проверяемые доказательства. Страница курса
Computer Science семинар
В этом курсе читаются открытые популярные лекции по разным темам. Названия говорят сами за себя.
Алгоритмические проблемы в системах распознавания речи (Н. Мальковский, Тинькофф)
Как детектируется вредоносное программное обеспечение (А. Калегин, Лаборатория Касперского)
Записи курсов прошлых лет так же доступны на нашем сайте.
Некоторые материалы (в том числе записи и материалы семинаров) доступны только тем, кто успел записаться на курс. Подписывайтесь на нас в соцсетях (VK, FB, IG, YT, TT), на нашу рассылку и канал в Telegram, чтобы не пропустить сообщения о новых курсах. Участие бесплатно для всех желающих.
