Рабочий семинар по математической логике, г. Москва, 11 февраля 2025 – 27 мая 2026 г.
-
Гетерогенные колчаны и (ко)пределы, полиморфные по предикативному уровню
П. Турянский, А. Грызлов
13 мая 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
Алгебраические методы изучения звёздной высоты регулярных языков
Ю. Д. Теляковская
6 мая 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
Совместная логика задач и высказываний и поляризованные логики – 2
А. С. Закиров, С. А. Славнов, М. А. Чурилов
29 апреля 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
Совместная логика задач и высказываний и поляризованные логики
А. С. Закиров, С. А. Славнов, М. А. Чурилов
22 апреля 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
PSpace-разрешимость модальных логик древовидных шкал – 3
Л. В. Дворкин
15 апреля 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
PSpace-разрешимость модальных логик древовидных шкал – 2
Л. В. Дворкин
8 апреля 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
PSpace-разрешимость модальных логик древовидных шкал
Л. В. Дворкин
1 апреля 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
Вычислительные аспекты для модальных логик
Н. В. Лукашов
25 марта 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
О неразрешимости теории поля рациональных чисел и теории натуральных чисел с функцией последователя и отношением делимости – 2
К. А. Ковалёв
11 марта 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
О неразрешимости теории поля рациональных чисел и теории натуральных чисел с функцией последователя и отношением делимости
К. А. Ковалёв
4 марта 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
Эффективная неотделимость и её применения для теорий с неподвижными точками (продолжение)
С. Л. Кузнецов
25 февраля 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
Эффективная неотделимость и её применения для теорий с неподвижными точками
С. Л. Кузнецов
18 февраля 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
-
Об определимости в слабых арифметических структурах посредством монадических формул второго порядка
С. О. Сперанский
11 февраля 2026 г. 16:00
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
© , 2026
|
