11 апреля 2023 г. в 16:00 в ауд. 308 состоится семинар "Теоретические основы информатики". Докладчик: Карлов Борис Николаевич. Тема доклада: «О неразрешимости теорий подмножеств некоторых унаров».
28 марта 2023 г. в 16:00 в ауд. 308 состоится семинар "Теоретические основы информатики". Докладчик: Запрягаев Александр Александрович. Тема доклада: «Интерпретации в слабых арифметических теориях».