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