Курс ЕНС «Математическая логика и алгоритмы»

Ведёт занятия Шехтман Валентин Борисович.

Весенний семестр 2024 года: лекции проходят по четвергам в 16:45, начиная с 8 февраля. Аудитория 407 (2 гуманитарный корпус).

Материалы курса: ссылка.