9 ноября 2023 г. в 16:00 в ауд. 308 состоится семинар "Теоретические основы информатики"
Докладчик: Дудаков Сергей Михайлович
Тема доклада: «Разрешимость теории конечных подмножеств атомных булевых алгебр»
Приглашаем всех желающих!