Видеотека: Архив докладов 2026

RUS ENG

Полная версия

ВИДЕОТЕКА

Архив докладов

Рабочий семинар по математической логике, г. Москва, 11 февраля 2025 – 27 мая 2026 г.

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