Zoom

Коричневые курсы пользуются своим zoom

 Google-ZoomЯндекс-Zoom
ПН
10:00-12:00 Пентус. ОТиПЛ (консультация)

16:00-17:45 Кузнецов. с/к Цикл. док-ва (МИАН)
17:45-19:20 Любецкий. Биоинформатика
18:30-20:00 Верещ. Колмогор сем (Google Meet)
09:30-11:00 Яворская. ОТиПЛ 1 курс (консультация)
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 практикум



17:45-19:20 Яворская. Обязательный с/к

09:00-12:15 Яворская. ОТиПЛ Понятийный аппарат
11:00-12:35 Оноприенко. ВМЛиТА 206 / 205 (Discord)

14:30-16:00 Бекл, Яв. с/к Теория док-в (МИАН)
17:30-19: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 курс (лекция-консульт.)
13:45-15:20 Колмаков. Семинар ВМЛиТА 204 / 203

19:00-21:00 Белов & др. с/к Комбинаторика слов
ЧТ 10:40-14:00 Пентус. ОТиПЛ. Мат. т. грамматик

15:00-16:30 Верещагин. с/к Апериод замощения
17:45-19:20 Плиско. с/к Конструктивность

13:00-14:35 Верещагин. ЕНС Коды с испр ошибок
15:45-17:20 ВМЛиТА: Факультатив (03 и 10 декабря)
17:45-19:20 Бекл, Шехтман. Объединенный семинар
ПТ
13:00-14:35 Верещагин. ЕНС Коды с испр ошибок



19:00-20:30 Золин. с/к Модальная логика
09:00-10:35 Беклемишев. ВМЛиТА 2 курс (лекция)
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-я пара