City:
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Courses
Autumn 2020
Spring 2021
Artificial Intelligence and Self-driving Vehicles
(
А. С. Артамонов
)
Fine-grained complexity
(
И. А. Михайлин
)
Introduction to theoretical computer science
(
С. И. Грязнов
,
Д. М. Ицыксон
)
Seminar on Computer Science
(
А. В. Подкопаев
,
Я. Ю. Сафонова
,
К. С. Яковлев
)
Обучение с подкреплением: от определений до AlphaZero и Dactyl
(
С. И. Николенко
)
Нейроморфные вычисления и нейросимуляции
(
М. О. Таланов
)
Архитектура программных систем
(
Б. Н. Габбасов
)
Вычисления с бесконечными данными
(
В. Л. Селиванов
)
Алгоритмы: дополнительные главы
(
К. Макарычев
,
И. Разенштейн
,
А. Х. Шень
)
Graphs, Computation, and Language
(
Д. А. Усталов
)
Introduction to Formal Verification
(
А. А. Трунов
)
Randomized Algorithms
(
Р. А. ван Беверн
)
Фотограмметрия (трёхмерная реконструкция)
(
Н. В. Полярный
,
Б. П. Симиютин
)
Autumn 2019
Spring 2020
Duality in combinatorial optimization
(
М. А. Бабенко
)
Fair division protocols
(
Д. В. Мусатов
)
Propositional proof complexity
(
Д. М. Ицыксон
)
Using C++ efficiently
(
В. М. Лесин
)
Cryptoanalysis
(
Н. Н. Токарева
)
Functional programming
(
Д. Н. Москвин
)
Program Verification
(
Д. Ю. Власов
)