«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна), г. Москва
-
Об одном фазовом переходе в теории Рамсея
А. А. Разборов
18 декабря 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
-
Вербальная замкнутость
А. А. Клячко
11 декабря 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
-
О спектрах консервативности арифметических теорий
Л. Д. Беклемишев
6 ноября 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
-
О показателях экспоненциального роста прямоугольных групп Кокстера
А. Л. Таламбуца
30 октября 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
-
Алгоритмическая разрешимость ориентируемых квадратичных уравнений в свободных метабелевых группах
И. Г. Лысёнок
23 октября 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
-
О полноте модальных предикатных логик в семантике Крипке
В. Б. Шехтман
16 октября 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
-
О проблемах распознавания равенства и делимости слов в полугруппах с одним несократимым определяющим соотношением
С. И. Адян
24 апреля 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
-
О формулах, $n$-доказуемость которых выводима в арифметике Пеано
Е. А. Колмаков
10 апреля 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
-
О свойствах редукции и отделимости проективных классов в совершенных прообразах отрезка
Д. И. Савельев
20 марта 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
-
Сложность вычисления некоторых функций коммуникационными протоколамис большим числом участников
В. В. Подольский
6 марта 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
-
Теоремы об ускорении доказательств в арифметике Пресбургера
Ф. Н. Пахомов
27 февраля 2018 г. 18:30
г. Москва, Математический институт им.В.А.Стеклова РАН
© , 2025
|
