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