| Google-Zoom | Яндекс-Zoom | |
|---|---|---|
| ПН |
12:10-15:50 Пентус (Р).
16:00-17:45 Кузнецов. с/к Цикл. док-ва (МИАН) 17:45-19:20 Любецкий. Биоинформатика 18:30-20:00 Верещ. Колмогор сем (Google Meet) |
11:00-12:35 Яворская. Семинар ВМЛиТА 208 / 207
15:45-17:20 Золин. Семинар ВМЛиТА 210 / 212 17:45-19:20 Крупский Плиско. с/c Вычислимость 18:30-20:00 Бекл. Logic online seminar (Proof theory) |
| ВТ |
09:00-10:35 Пентус. Ин. яз. 6 курс
11:00-12:35 Кузнецов. Coq практикум 12:40-15:50 Пентус (Р). 17:45-19:20 Яворская. Обязательный с/к |
09:00-12:15 Яворская. ОТиПЛ Понятийный аппарат
11:00-12:35 Оноприенко. ВМЛиТА 206 / 205 (Discord) 14:30-16:00 Бекл, Яв. с/к Теория док-в (МИАН) 17:45-19:20 Шехтман. с/к Алгебраическая логика 18:30-20:00 Беклемишев. Алгоритм пробл алг и лог |
| СР |
15:00-16:30 Верещагин. с/к Апериод замощения 18:30-21:00 Семёнов. НИС МЛ |
09:00-10:35 Красненкова. Семинар ВМЛиТА 201 / 202
11:00-12:25 Пентус. Лекция ВМЛиТА 2 курс 2 поток 13:45-15:20 Колмаков. Семинар ВМЛиТА 204 / 203 19:00-21:00 Белов & др. с/к Комбинаторика слов |
| ЧТ |
10:40-14:00 Пентус. ОТиПЛ. Мат. т. грамматик
17:45-19:20 Плиско. с/к Конструктивность |
13:00-14:35 Верещагин. ЕНС Коды с испр ошибок 17:45-19:20 Бекл, Шехтман. Объединенный семинар |
| ПТ |
13:00-14:35 Верещагин. ЕНС Коды с испр ошибок 19:00-20:30 Золин. с/к Модальная логика |
09:00-10:35 Беклемишев. Лекция ВМЛиТА 2 к 1 поток
13:45-15:20 ВМЛиТА: ---------------- / Яворская 211 14:10-15:45 Крупский. ОТиПЛ. Программирование 15:45-17:20 ВМЛиТА: Крупский 209 / ---------------- 16:20-17:50 ВШЭ с/с Соврем пробл матем логики |
Звонки:
09:00-10:35 - 1-я пара
11:00-12:35 - 2-я пара
обед
13:45-15:20 - 3-я пара
15:45-17:20 - 4-я пара
17:45-19:20 - 5-я пара
19:45-21:20 - 6-я пара