Кафедра математической логики и теории алгоритмов

Введение в математическую логику и теорию алгоритмов 2022 (А. Л. Семенов)

Лектор: академик РАН Семенов Алексей Львович
Лекции на 2-м курсе мехмата МГУ

 


Материалы лекций


Информация о семинарах в группах 208/210 (семинарист Оноприенко А.А.).


Просеминар

Страница просеминара.


Рекомендуемая литература

Видеозаписи лекций прежних лет