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

Введение в математическую логику и теорию алгоритмов

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

 


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


Материалы для группы 141


Просеминар

Просеминар проходит онлайн по пятницам 16:45-18:20, начиная с 1 октября.

Подробнее: страница просеминара.


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

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