067717 Типы в языках программирования (Основной курс, Траектория 6 семестра) (год начала обучения - 2025)
Москвин Д. Н.
15:25-16:55
Электив. Типы в языках программирования, практическое занятие
067860 Типы в языках программирования (Основной курс, Траектория 6 семестра) (год начала обучения - 2025)
Москвин Д. Н.
9:30-11:00
Математическая логика, практическое занятие
23.Б03-мкн
Ореховский В. Н.
9:30-11:00
Электив. Математическая логика в информатике, лекция
067843 Математическая логика в информатике (Основной курс, Траектория 6 семестра) (год начала обучения - 2025)
Мордвинов Д. А.
11:15-12:45
Математическая логика, практическое занятие
23.Б02-мкн
Ореховский В. Н.
11:15-12:45
Электив. Математическая логика в информатике, практическое занятие
067843 Математическая логика в информатике (Основной курс, Траектория 6 семестра) (год начала обучения - 2025)
Шалымов Д. С.
17:10-18:40
Электив. Типы в языках программирования, лекция
067860 Типы в языках программирования (Основной курс, Траектория 6 семестра) (год начала обучения - 2025)
Москвин Д. Н.
17:10-18:40
Электив. Типы в языках программирования, практическое занятие
067717 Типы в языках программирования (Основной курс, Траектория 6 семестра) (год начала обучения - 2025)
Москвин Д. Н.
19:00-20:30
Электив. Рекомендательные системы, лекция
072413 Рекомендательные системы (Основной курс, Траектория 6 семестра) (год начала обучения - 2025), 072414 Рекомендательные системы (Основной курс, Траектория 6 семестра) (год начала обучения - 2025)
Шалымов Д. С.
20:30-22:00
Электив. Рекомендательные системы, практическое занятие
072414 Рекомендательные системы (Основной курс, Траектория 6 семестра) (год начала обучения - 2025), 072413 Рекомендательные системы (Основной курс, Траектория 6 семестра) (год начала обучения - 2025)