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

Механико-математического факультета МГУ


Расписание

Zoom весна 2021

Коричневые курсы пользуются своим Zoom.
См. также: Zoom осень 2020

Google-Zoom Яндекс-Zoom
ПН 11:30-12:55 Бекл, Яворская. Некласс. логики (НОЦ)
15:05-16:30 Савельев. Теория множеств (НОЦ)
16:35-18:00 Кузнецов. Структ. теория док-в (НОЦ)
17:45-19:20 Любецкий. с/к Биоинформатика
18:30-20:05 Верещагин. Колмогоровский семинар (BBB)
16:45-18:20 Плиско, Крупский. с/c Вычислимость
18:30-22:00 Плиско. Матлогика, вечернее отделение
18:30-20:00 Бекл. Logic online seminar (Proof theory)
ВТ 18:30-20:05 Верещагин. с/к Сложность вычислений 15:00-16:30 Лысёнок. Уравнения в группах (НОЦ)
18:30-20:00 Беклемишев. Алгоритм пробл алг и лог
СР 09:00-10:35 Пентус. 507 гр. Методика подготовки
10:45-12:20 Золин. 507 гр. Доп главы классич логики
15:00–18:20 Межфакультетские курсы (МФК)
18:30-21:00 Семёнов. НИС МЛ
17:00-18:20 Таламбуца. Алгоритм вопр алгебры (НОЦ)
19:00-21:00 Белов & др. с/к Геометрия слов
ЧТ 15:00-16:35 Кузнецов. Обязательный с/к «Матлог»
16:45-18:20 Шехтман. ЕНС Мат логика и алгоритмы
16:45-18:20 Плиско. с/к Конструктивная логика
18:30-20:05 Бекл, Шехтман. Объединенный семинар
ПТ 19:00-20:30 Золин. с/к Модальная логика 16:20-17:50 ВШЭ. с/с Соврем проблемы матем логики

 

Звонки:
09:00-10:35 — 1-я пара
10:45-12:20 — 2-я пара
12:30-14:04 — 3-я пара
обед
15:00-16:35 — 4-я пара
16:45-18:20 — 5-я пара
18:30-20:05 — 6-я пара