Научно-исследовательский семинар по математической логике, г. Москва
-
Заседание, посвященное памяти профессора Владимира Андреевича Успенского (27.11.1930—27.06.2018).
19 декабря 2018 г.
г. Москва, ГЗ МГУ, ауд. 16-04
-
Алгоритмическая выразительность неклассических предикатных логик, задаваемых классами шкал Крипке, не определимыми в логике первого порядка
М. Н. Рыбаков
5 декабря 2018 г.
г. Москва, ГЗ МГУ, ауд. 16-04
-
Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика
Ю. В. Саватеев
21 ноября 2018 г.
г. Москва, ГЗ МГУ, ауд. 16-04
-
Сложность конечных автоматов в терминах количества состояний и ее поведение при различных операциях
М. А. Раскин
7 ноября 2018 г.
г. Москва, ГЗ МГУ, ауд. 16-04
© , 2024
|