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

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

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

 


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


Расписание лекций и семинаров

Лекции (акад. Семёнов А.Л.), группы 201-212 и 241:
суббота 9:00–10:35 (Zoom) на каждой неделе.
Семинары — один раз в две недели
                 неделя: верхняя / нижняя

Плиско Валерий Егорович
ПН 09:00–10:35 гр. 204 (ауд 407) / 203 (ауд 406)
ПН 10:45–12:20 гр. 208 (ауд 405) / 207 (ауд 404)

Яворская Татьяна Леонидовна
ПН 09:00–10:35 гр. ————————————— / 241 (ауд 429)
ПН 10:45–12:20 гр. 211 (ауд 449) / 212 (ауд 454)

Крупский Владимир Николаевич
СР 09:00–10:35 гр. 206 (ауд 438) / 205 (ауд 439)
СР 10:45–12:20 гр. 202 (ауд 413) / 201 (ауд 428)

Оноприенко Анастасия Александровна
ЧТ 15:00–16:35 гр. 209 (ауд 447) / 210 (ауд 448)

ПТ 16:45–18:20 Факультатив (просеминар) (Zoom)


Факультатив

Здесь будет информация о проведении очередного занятия Факультатива (он же Просеминар).


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

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