- 05 нояб., вт
- 12:00-13:40 Алгоритмы и анализ сложностиКомиссия. Экзаменпоказать группыГруппы: 5130202/20001_2023
- 12:00-13:40 Теория автоматов и формальных языковКомиссия. Курсовая работапоказать группыГруппы: 5130202/20002_2023
- 12:00-13:40 Теория автоматов и формальных языковДоп.сессия. Зачет с оценкойпоказать группыГруппы: 5130202/20001_2023
- 12:00-13:40 Статический анализ программКомиссия. Зачет с оценкойПотокпоказать группы
- 14:00-15:40 Математическая логика для программистовЛекциипоказать группыГруппы: 5140901/41501
- 16:00-17:40 Математическая логика для программистовПрактикапоказать группыГруппы: 5140901/41501