- Шошмина Ирина Владимировна
Расписание с 10 ноября по 16 ноября (нечётная неделя)
10 нояб., пн
08:00-09:40 Математическая логика
10:00-11:40 Математическая логика
14:00-15:40 Математическая логика
11 нояб., вт
10:00-11:40 Верификация распределенных алгоритмов и систем
12:00-13:40 Верификация распределенных алгоритмов и систем
14:00-15:40 Верификация распределенных алгоритмов и систем
16:00-17:40 Верификация распределенных алгоритмов и систем
12 нояб., ср
12:00-13:40 Математическая логика
14:00-15:40 Верификация распределенных алгоритмов и систем
16:00-17:40 Верификация распределенных алгоритмов и систем
16:00-16:45 Распределенные алгоритмы
17:00-17:45 Распределенные алгоритмы
Комиссия. Курсовая работа
