Город: Санкт-Петербург Казань Язык: Русский English

Computer Science клуб — это открытые лекции и курсы. В клубе любой желающий может познакомиться с классическими результатами, современным положением дел и открытыми задачами в различных областях Computer Science. Вход на лекции свободный, регистрация не требуется, посещать курсы можно начать в любое время.

Курсы: осень 2017

Название курса Преподаватели Следующая лекция Язык
Сложность пропозициональных доказательств Д. М. Ицыксон Вторник, 21 ноября, 18:30 Русский
Проблемы населенности типов и их разрешимость Д. Н. Москвин Суббота, 25 ноября, 17:15 Русский
Алгоритмы для задачи коммивояжёра А. С. Куликов Воскресенье, 26 ноября, 11:15 Русский
Kotlin: практика разработки современного языка программирования А. Бреслав Суббота, 02 декабря, 17:15 Русский
Сложность бесконечных слов С. Пузынина Воскресенье, 03 декабря, 11:15 Русский
Введение в теорию нейросетей и глубокое обучение А. А. Ивахненко Суббота, 09 декабря, 17:15 Русский
Fine-grained complexity И. А. Михайлин Воскресенье, 17 декабря, 11:15 Русский
Низкоуровневый взгляд на динамические библиотеки и модели кода И. Жирков Суббота, 23 декабря, 17:15 Русский
Алгоритм Тарского Ю. В. Матиясевич Курс завершён Русский
История исследования ДНК и белковых структур: от французской революции до современной биоинформатики А. А. Шпильман Курс завершён Русский
Эффективное использование С++ В. М. Лесин Курс завершён Русский
Метрическая геометрия и ее приложения в Computer Science К. Макарычев, Ю. Макарычев Курс завершён Русский
Онлайн-алгоритмы для управления буфером: конкурентный анализ С. И. Николенко Курс завершён Русский
Машинное обучение и рекомендательные системы Е. Соколов Курс завершён Русский
Диаграммы Вороного К. В. Вяткина Курс завершён Русский
Алгоритмические применения древесных декомпозиций Ф. В. Фомин Курс завершён Русский
Избранные главы схемной сложности А. Головнёв Курс завершён Русский
Формальные грамматики и вычислительная сложность синтаксического анализа А. Охотин Курс завершён Русский
Искусственный интеллект и беспилотные автомобили А. Слесарев Курс завершён Русский
Ликбез: коды, исправляющие ошибки А. Х. Шень Курс завершён Русский
Если вы не нашли интересный курс выше, смотрите видеозаписи прошлых лет (раздел Курсы) или онлайн-курсы Computer Science центра. Систематическое двухлетнее образование по теоретической информатике, программированию и анализу данных можно получить в Computer Science центре.