Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar", г. Москва
-
О проблеме равенства в минимально бесконечных группах – II
А. Л. Таламбуца
18 мая 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Универсальная эквивалентность линейных групп над кольцами
Г. А. Калеева
4 мая 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Ограниченные языки, задаваемые GF(2)-грамматиками
В. М. Макаров
27 апреля 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Markov Coding
A. Visser
20 апреля 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
О приложениях интуиционистской теории множеств Крипке–Платека с праэлементами
Ф. Н. Пахомов
13 апреля 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Инфинитарная логика действий с сокращением
С. Л. Кузнецов, Т. Г. Пшеницын
6 апреля 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Алгоритмическая сложность кооперативной игры «Ханаби»
А. А. Оноприенко
30 марта 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
О проблеме равенства в минимально бесконечных группах
А. Л. Таламбуца
16 марта 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
The Power of Structural Rules: Proof-Size Lower Bounds for Linear Logics
Raheleh Jalali
9 марта 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
О конструктивных множествах в теории множеств Симпсона
В. Г. Кановей
2 марта 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
Решение проблемы 61 Харта–ван Милла
Д. И. Савельев
16 февраля 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
-
О семантике логики свидетельств первого порядка со связывающими модальностями
Т. Л. Яворская
9 февраля 2026 г. 16:00
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
© , 2026
|
