- 22 сент., пн
- 10:00-11:40 Математическая логикаПрактикапоказать группыГруппы: 5130904/30105
- 14:00-15:40 Математическая логикаПрактикапоказать группыГруппы: 5130904/30106
- 18:00-19:40 Распределенные алгоритмыДоп. экзаменпоказать группыГруппы: 5130202/20202_2024
- 18:00-19:40 Распределенные алгоритмыДоп. экзаменпоказать группыГруппы: 5130202/20201_2024
- 23 сент., вт
- 10:00-11:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/50501
- 12:00-13:40 Верификация распределенных алгоритмов и системЛекцииПотокпоказать группы
- 14:00-15:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/40101
- 16:00-17:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/40102
- 24 сент., ср
- 14:00-15:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/40202
- 16:00-17:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/40201