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

RUS ENG

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

ВИДЕОТЕКА

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

Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar", г. Москва

О семантике логики свидетельств первого порядка со связывающими модальностями Т. Л. Яворская 9 февраля 2026 г. 16:00 г. Москва
Решение проблемы 61 Харта–ван Милла Д. И. Савельев 16 февраля 2026 г. 16:00 г. Москва
О конструктивных множествах в теории множеств Симпсона В. Г. Кановей 2 марта 2026 г. 16:00 г. Москва
О проблеме равенства в минимально бесконечных группах А. Л. Таламбуца 16 марта 2026 г. 16:00 г. Москва
Алгоритмическая сложность кооперативной игры «Ханаби» А. А. Оноприенко 30 марта 2026 г. 16:00 г. Москва
Инфинитарная логика действий с сокращением С. Л. Кузнецов, Т. Г. Пшеницын 6 апреля 2026 г. 16:00 г. Москва
О приложениях интуиционистской теории множеств Крипке–Платека с праэлементами Ф. Н. Пахомов 13 апреля 2026 г. 16:00 г. Москва
Ограниченные языки, задаваемые GF(2)-грамматиками В. М. Макаров 27 апреля 2026 г. 16:00 г. Москва
Универсальная эквивалентность линейных групп над кольцами Г. А. Калеева 4 мая 2026 г. 16:00 г. Москва