| 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 Лысёнок. Уравнения в группах (НОЦ) 16:45-18:20 Кузнецов. Просеминар по матлогике 18:30-20:00 Беклемишев. Алгоритм пробл алг и лог |
| СР |
09:00-10:35 Пентус. 507 гр. Методика подготовки
10:45-12:20 Золин. 507 гр. Доп главы классич логики 12:30-14:30 Любецкий. с/с Матем. биология 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 Бекл, Шехтман. Объединенный (пока МИАН) |
| ПТ |
16:20-17:50 ВШЭ. с/с Соврем проблемы матем логики 19:00-20:30 Золин. с/к Модальная логика |
09:00-10:30 Сорокин. ОТиПЛ. Автом обраб текста
(редко) 10:45-12:15 Сорокин. ОТиПЛ. Акс метод (редко) 13:00-14:30 Сорокин. ОТиПЛ. Прикл матем 14:40-17:55 Крупский. ОТиПЛ. Прогр. (пока МИАН) |
| СБ | 14:00-15:30 Сорокин. ОТиПЛ. Питон, доп. главы |
Звонки:
09:00-10:35 - 1-я пара
10:45-12:20 - 2-я пара
12:30-14:05 - 3-я пара
обед
15:00-16:35 - 4-я пара
16:45-18:20 - 5-я пара
18:30-20:05 - 6-я пара