- 15 дек., пн
- 10:00-11:40 Математическая логикаКурсовое проектированиепоказать группыГруппы: 5130904/30105
- 14:00-15:40 Математическая логикаПрактикапоказать группыГруппы: 5130904/30101
- 16 дек., вт
- 10:00-11:40 Верификация распределенных алгоритмов и системКурсовое проектированиепоказать группыГруппы: 5140904/50501
- 12:00-13:40 Верификация распределенных алгоритмов и системЛекцииПотокпоказать группы
- 14:00-15:40 Верификация распределенных алгоритмов и системКурсовое проектированиепоказать группыГруппы: 5140904/40101
- 16:00-17:40 Верификация распределенных алгоритмов и системКурсовое проектированиепоказать группыГруппы: 5140904/40102
- 17 дек., ср
- 12:00-14:40 Верификация распределенных алгоритмов и системКурсовая работапоказать группыГруппы: 5140904/50501
- 18:00-19:40 Математическая логикаКонсультацииПотокпоказать группы
- 19 дек., пт
- 10:00-17:00 Математическая логика
- 20 дек., сб
- 10:00-12:40 Математическая логикаКурсовая работапоказать группыГруппы: 5130904/30105
- 12:00-14:40 Математическая логикаКурсовая работапоказать группыГруппы: 5130904/30106
- 14:00-16:40 Математическая логикаКурсовая работапоказать группыГруппы: 5130904/30107