Курсы Computer Science клуба в 2021 году: верификация, фотограмметрия, статистика, логика, теория игр и другие

Все курсы Computer Science клуба в 2021 году проходили в онлайн режиме. Мы собрали для вас подборку видеозаписей лекций, которые выложены на нашем youtube канале.

Введение в формальную верификацию программ

Введение в формальную верификацию с использованием системы интерактивного
доказательства теорем Coq (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, чтобы не пропустить сообщения о новых курсах. Участие бесплатно для всех желающих.

Читайте так же:

  • Президент России поздравил команду Team Spirit с победой в турнире The International 2021 (TI10)Президент России поздравил команду Team Spirit с победой в турнире The International 2021 (TI10) 18 октября 2021 года президент России Владимир Путин поздравил российскую команду Team Spirit с победой в турнире The International 2021 (TI10) по Dota 2.Президент отметил, что они молодцы, и то, что коллектив Team Spirit смог впервые в истории российского киберспорта выиграть столь […]
  • Система, которая заставляет работать сотрудников на 100%Система, которая заставляет работать сотрудников на 100% Описание — конец месяца, а менеджеры снова не выполнили план? — разбор основных утечек — инструменты для увеличения продаж за 3 месяца — системный директор, который успевает всё. — почему регламенты не работают Ведущие Шевцов Дмитрий Николаевич Основатель Перейти на сайт […]
  • Новый SiteAnalyzer проверит контент сайта на уникальностьНовый SiteAnalyzer проверит контент сайта на уникальность В новой версии программы SiteAnalyzer. Предназначенной для сканирования и анализа содержимого сайта. Реализовано  несколько из наиболее востребованных пользователями функций, таких. Как: проверка уникальности контента. Скрейпинг данных (извлечение данных с сайта) и проверка […]
  • Проверить текст на уникальность контент вотчПроверить текст на уникальность контент вотч Marieke van de Rakt Марике ван де Ракт - генеральный директор Yoast. Ее основное внимание сосредоточено на росте компании. Она действительно увлечена поддержанием открытой и дружественной корпоративной культуры. Марике также активно участвует в маркетинге Yoast и совместно с […]