- 25 нояб., пн
- 12:00-13:40 Математическая логикаПрактикапоказать группыГруппы: 5130904/20105
- 26 нояб., вт
- 14:00-15:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/30102
- 16:00-17:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/30201
- 28 нояб., чт
- 10:00-11:40 Верификация распределенных алгоритмов и системЛекцииПотокпоказать группы
- 12:00-13:40 Верификация распределенных алгоритмов и системКурсовое проектированиепоказать группыГруппы: 5140904/40401
- 14:00-15:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/30101
- 16:00-17:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/30202