Серова Дарья - участник международных научных конференций
18 ноября 2024
Студентка 5-го курса специальности 10.05.01 Компьютерная безопасность Серова Дарья выступила с докладом на крупной международной конференции «МАЛЬЦЕВСКИЕ ЧТЕНИЯ» http://old.math.nsc.ru/conference/malmeet/24/Main.htm.
Конференция прошла в ИМ СО РАН (г. Новосибирск) с 11 по 15 ноября 2024 г. и была посвящена 115-летию со дня рождения Анатолия Ивановича Мальцева и 300-летию Российской академии наук.
Дарья вместе со своим научным руководителем, доцентом М.Н. Рыбаковым представила доклад на тему «Неразрешимые фрагменты расширений предикатной логики Гёделя–Дамметта».
7 ноября 2024 г. Дарья выступила с докладом на тему «Предикатная логика Гёделя-Дамметта: бедные неразрешимые фрагменты» на другой престижной международной конференции “Формальная философия 2024” https://llfp.hse.ru/announcements/968274219.html.