Loading [MathJax]/jax/output/SVG/config.js
Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  


«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
Математический институт им.В.А.Стеклова РАН, г. Москва

Тематика семинара — классические и неклассические логики, теория групп и полугрупп, теория доказательств.

Семинары проходят по вторникам, время начала заседания - 18.30. Осенью 2021 года все семинары будут транслироваться на платформе Zoom. Некоторые заседания будут проходить очно в МИАН с трансляцией в Zoom, об этом будет сообщаться отдельно.

Для получения ссылки на Zoom-трансляцию, напишите Алексею Таламбуце <altal@mi-ras.ru>.

Руководители семинара
Беклемишев Лев Дмитриевич
Лысёнок Игорь Геронтьевич
Семёнов Алексей Львович

Организации
Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва


«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна), г. Москва

7 декабря 2021 г. (вт)
1. Systems of equations in groups
Albert Garreta-Fontelles
7 декабря 2021 г. 18:30, г. Москва, online на платформе Zoom

23 ноября 2021 г. (вт)
2. Complexity of the word problem in HNN-extensions
Маркус Лори
23 ноября 2021 г. 18:30, г. Москва, Online на платформе Zoom

16 ноября 2021 г. (вт)
3. Relative order and spectrum of subgroups
E. Ventura
16 ноября 2021 г. 18:30, г. Москва, Онлайн на платформе Zoom
  

9 ноября 2021 г. (вт)
4. Plain groups and rewriting systems.
M. Elder
9 ноября 2021 г. 18:30, г. Москва, трансляция в Zoom (для получения пароля напишите Алексею Таламбуце altal@mi-ras.ru)
  

26 октября 2021 г. (вт)
5. The Dehn function and relative Dehn function of metabelian groups
W. Wang
26 октября 2021 г. 18:30, г. Москва, МИАН им.В.А.Стеклова РАН, ауд.110 + трансляция в Zoom

27 апреля 2021 г. (вт)
6. Exponential equations in groups
O. V. Bogopolskii
27 апреля 2021 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

6 апреля 2021 г. (вт)
7. Сложность плотных линейных операторов
A. S. Kulikov
6 апреля 2021 г. 18:30, г. Москва, online на платформе Zoom
  

30 марта 2021 г. (вт)
8. Sublinear time algorithms and the average-case complexity of some algorithmic problems in (semi)group theory
V. É. Shpil'rain
30 марта 2021 г. 18:30, г. Москва, online на платформе Zoom

1 декабря 2020 г. (вт)
9. Об алгоритмической неразрешимости проблемы вложимости многообразий
А. Я. Канель, А. А. Чиликов
1 декабря 2020 г. 18:30, г. Москва, online на платформе Zoom
  

24 ноября 2020 г. (вт)
10. The Post Correspondence Problem and Equalisers for Immersions of Free Groups
A. Logan
24 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
  

3 ноября 2020 г. (вт)
11. Соизмеримость групп Баумслага-Солитера
A. O. Zakharov
3 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
  

27 октября 2020 г. (вт)
12. SAT Solvers and Ordered Decision Strategies
A. A. Razborov
27 октября 2020 г. 18:30, г. Москва, online на платформе Zoom

30 апреля 2019 г. (вт)
13. Некоторые алгоритмически неразрешимые проблемы, связанные с автоматными и самоподобными группами.
И. В. Митрофанов
30 апреля 2019 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

26 марта 2019 г. (вт)
14. Прямоугольные диаграммы узлов и их монотонное упрощение
И. А. Дынников
26 марта 2019 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

19 марта 2019 г. (вт)
15. Коммутаторная ширина группы Григорчука - II
И. Г. Лысёнок
19 марта 2019 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

12 марта 2019 г. (вт)
16. Коммутаторная ширина группы Григорчука - I
И. Г. Лысёнок
12 марта 2019 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

26 февраля 2019 г. (вт)
17. О субквадратичных функциях сложности вывода для односторонних систем Туэ
А. Л. Таламбуца
26 февраля 2019 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

18 декабря 2018 г. (вт)
18. Об одном фазовом переходе в теории Рамсея
А. А. Разборов
18 декабря 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

11 декабря 2018 г. (вт)
19. Вербальная замкнутость
А. А. Клячко
11 декабря 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

6 ноября 2018 г. (вт)
20. О спектрах консервативности арифметических теорий
Л. Д. Беклемишев
6 ноября 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

30 октября 2018 г. (вт)
21. О показателях экспоненциального роста прямоугольных групп Кокстера
А. Л. Таламбуца
30 октября 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

23 октября 2018 г. (вт)
22. Алгоритмическая разрешимость ориентируемых квадратичных уравнений в свободных метабелевых группах
И. Г. Лысёнок
23 октября 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

16 октября 2018 г. (вт)
23. О полноте модальных предикатных логик в семантике Крипке
В. Б. Шехтман
16 октября 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

24 апреля 2018 г. (вт)
24. О проблемах распознавания равенства и делимости слов в полугруппах с одним несократимым определяющим соотношением
С. И. Адян
24 апреля 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

10 апреля 2018 г. (вт)
25. О формулах, $n$-доказуемость которых выводима в арифметике Пеано
Е. А. Колмаков
10 апреля 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

20 марта 2018 г. (вт)
26. О свойствах редукции и отделимости проективных классов в совершенных прообразах отрезка
Д. И. Савельев
20 марта 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

6 марта 2018 г. (вт)
27. Сложность вычисления некоторых функций коммуникационными протоколамис большим числом участников
В. В. Подольский
6 марта 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

27 февраля 2018 г. (вт)
28. Теоремы об ускорении доказательств в арифметике Пресбургера
Ф. Н. Пахомов
27 февраля 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

12 декабря 2017 г. (вт)
29. Логика Кузнецова-Муравицкого и семантика компьютерных языков
Д. С. Шамканов
12 декабря 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

21 ноября 2017 г. (вт)
30. О корнях многочленов в мин-плюс алгебре
В. В. Подольский
21 ноября 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

14 ноября 2017 г. (вт)
31. Рекурсивно перечислимые теории, не имеющие алгоритмически разрешимой аксиоматизации
С. Л. Кузнецов
14 ноября 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

24 октября 2017 г. (вт)
32. Об универсальной модели Крипке для позитивной логики доказуемости с операторами, выражающими консервативность
Л. Д. Беклемишев
24 октября 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

10 октября 2017 г. (вт)
33. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
Ю. В. Саватеев, Д. С. Шамканов
10 октября 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

3 октября 2017 г. (вт)
34. Об интерпретациях арифметики Пресбургера в самой себе
А. А. Запрягаев, Ф. Н. Пахомов
3 октября 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

16 мая 2017 г. (вт)
35. Исчисления Ламбека с обогащением сигнатуры операцией итерации
С. Л. Кузнецов
16 мая 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

25 апреля 2017 г. (вт)
36. О количестве слов данной длины, не содержащих $\alpha$-степеней - II
А. Л. Таламбуца
25 апреля 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

18 апреля 2017 г. (вт)
37. О количестве слов данной длины, не содержащих $\alpha$-степеней - I
А. Л. Таламбуца
18 апреля 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

14 марта 2017 г. (вт)
38. Об исчислении секвенций для модальной логики Гжегорчика с нефундированными выводами
Д. С. Шамканов
14 марта 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

7 марта 2017 г. (вт)
39. О предупорядочении по вложению универсальных алгебр
Д. И. Савельев
7 марта 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

28 февраля 2017 г. (вт)
40. О неразрешимых элементарных теориях полугрупп со свободным одноместным предикатом
Ф. Н. Пахомов
28 февраля 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

13 декабря 2016 г. (вт)
41. О невозможности одновременной оптимизации различных мер сложности пропозициональных доказательств
А. А. Разборов
13 декабря 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

6 декабря 2016 г. (вт)
42. О числе наборов элементов группы, обладающих данным свойством
А. А. Клячко
6 декабря 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

22 ноября 2016 г. (вт)
43. О сильной полноте логики доказуемости Гёделя-Лёба относительно топологической семантики
Д. С. Шамканов
22 ноября 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

15 ноября 2016 г. (вт)
44. Новое доказательство теоремы Соловея об арифметической полноте логики GL
Ф. Н. Пахомов
15 ноября 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

8 ноября 2016 г. (вт)
45. Семантика квазидоказуемости для полных по Крипке расширений логики GL
Ф. Н. Пахомов
8 ноября 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

1 ноября 2016 г. (вт)
46. О позитивной логике доказуемости с операторами, выражающими консервативность
Л. Д. Беклемишев
1 ноября 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

18 октября 2016 г. (вт)
47. Критерий обхода графа Кэли конечно-порождённой группы системой взаимодействующих конечных автоматов
А. Я. Канель-Белов
18 октября 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

4 октября 2016 г. (вт)
48. Построение конечно-определённой полугруппы с дробным порядком полиномиального роста
И. А. Иванов-Погодаев
4 октября 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

19 апреля 2016 г. (вт)
49. Системы ординальных обозначений в иерархии Кукаля
Ф. Н. Пахомов
19 апреля 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

5 апреля 2016 г. (вт)
50. Невозможность замены правила сокращения конечным числом определяющих соотношений при задании полугруппы
С. Л. Кузнецов
5 апреля 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

29 марта 2016 г. (вт)
51. Формальная арифметика на базе логики без правила сокращения
Д. С. Шамканов
29 марта 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

22 марта 2016 г. (вт)
52. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - III
А. Л. Таламбуца
22 марта 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

15 марта 2016 г. (вт)
53. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - II
А. Л. Таламбуца
15 марта 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

1 марта 2016 г. (вт)
54. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - I
А. Л. Таламбуца
1 марта 2016 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

8 декабря 2015 г. (вт)
55. Лексикографические произведения и суммы модальных логик
И. Б. Шапировский
8 декабря 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

1 декабря 2015 г. (вт)
56. Оценки длин преобразований запросов к снабженным логической теорией базам данных
В. В. Подольский
1 декабря 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

10 ноября 2015 г. (вт)
57. О минимальных леводистрибутивных группоидах
Д. И. Савельев
10 ноября 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

3 ноября 2015 г. (вт)
58. Квадраты Сегерберга модальных логик и реляционные алгебры
В. Б. Шехтман
3 ноября 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

27 октября 2015 г. (вт)
59. О некоторых нестандартных предикатах доказуемости для формальной арифметики Пеано
Ф. Н. Пахомов
27 октября 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

20 октября 2015 г. (вт)
60. О двух модальных расширениях исчисления Ламбека
С. Л. Кузнецов
20 октября 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

13 октября 2015 г. (вт)
61. О показателях экспоненциального роста HNN-расширений абелевых групп
А. Л. Таламбуца
13 октября 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

6 октября 2015 г. (вт)
62. Алгоритмическая статистика
Н. К. Верещагин
6 октября 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

19 мая 2015 г. (вт)
63. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко; продолжение)
Л. Д. Беклемишев
19 мая 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

12 мая 2015 г. (вт)
64. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко)
Л. Д. Беклемишев
12 мая 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

28 апреля 2015 г. (вт)
65. Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов
С. Л. Кузнецов
28 апреля 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

14 апреля 2015 г. (вт)
66. О существовании бесконечных конечно определённых ниль-полугрупп (По совместной работе с И.А. Ивановым-Погодаевым)
А. Я. Канель-Белов
14 апреля 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

7 апреля 2015 г. (вт)
67. Эффективный алгоритм для решения проблемы распознавания равенства в пространстве классов квазиморфизмов свободной группы
А. Л. Таламбуца
7 апреля 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

24 марта 2015 г. (вт)
68. Модальные логики, обогащенные модальностью транзитивного замыкания
Е. Е. Золин
24 марта 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

3 марта 2015 г. (вт)
69. О разрешимости элементарной теории свободной GLP-алгебры, порожденной константами
Ф. Н. Пахомов
3 марта 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

24 февраля 2015 г. (вт)
70. О разрешимости элементарных теорий некоторых систем ординальных обозначений, построенных на основе логики GLP
Ф. Н. Пахомов
24 февраля 2015 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

2 декабря 2014 г. (вт)
71. О выразимых в логике первого порядка свойствах случайных графов
М. Е. Жуковский
2 декабря 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

25 ноября 2014 г. (вт)
72. О теории доказательств модальной логики с оператором наименьшей неподвижной точки (продолжение)
Д. С. Шамканов
25 ноября 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

18 ноября 2014 г. (вт)
73. О теории доказательств модальной логики с оператором наименьшей неподвижной точки
Д. С. Шамканов
18 ноября 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

11 ноября 2014 г. (вт)
74. Об одном аналоге известной теоремы Гильберта о нулях для многочленов в алгебраической системе $(\mathbb{R}, \min, +)$
В. В. Подольский
11 ноября 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

14 октября 2014 г. (вт)
75. Об одном достаточном условии финитной аппроксимируемости модальных логик
И. Б. Шапировский
14 октября 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

29 апреля 2014 г. (вт)
76. О соотношении тезиса Чёрча и принципа униформизации в теории множеств с интуиционистской логикой
В. Х. Хаханян
29 апреля 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

22 апреля 2014 г. (вт)
77. Полное описание соотношений между квазиморфизмами Брукса на свободной группе
А. Л. Таламбуца
22 апреля 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

25 марта 2014 г. (вт)
78. Отношение совместимости в исчислении Ламбека с операциями замещения
А. А. Сорокин
25 марта 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

18 марта 2014 г. (вт)
79. Задача о наибольшем общем подслове
Т. А. Стариковская
18 марта 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

11 марта 2014 г. (вт)
80. Послойно вычислимые отображения и лемма Ловаса о зависимости случайных событий
А. Х. Шень
11 марта 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

4 марта 2014 г. (вт)
81. Совместная логика задач и высказываний
С. А. Мелихов
4 марта 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

25 февраля 2014 г. (вт)
82. Совместная логика задач и высказываний
С. А. Мелихов
25 февраля 2014 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

10 декабря 2013 г. (вт)
83. О позитивных логиках доказуемости
Л. Д. Беклемишев
10 декабря 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

19 ноября 2013 г. (вт)
84. Ранг пересечения свободных подгрупп в фундаментальных группах графов групп
А. О. Захаров
19 ноября 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

12 ноября 2013 г. (вт)
85. О хопфовости $n$-периодических произведений групп
С. И. Адян, В. С. Атабекян
12 ноября 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

5 ноября 2013 г. (вт)
86. Ранг пересечения свободных подгрупп в свободном произведении групп с объединенной подгруппой
А. О. Захаров
5 ноября 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

29 октября 2013 г. (вт)
87. Об одной модификации понятия реализуемости Майхилла для интуиционистской теории множеств
Смелянский Д.М.
29 октября 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

22 октября 2013 г. (вт)
88. О расширении линейно упорядоченных множеств с помощью ультрафильтров
Д. И. Савельев
22 октября 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

15 октября 2013 г. (вт)
89. $\mathit{NP}$-полнота одного класса квадратичных уравнений в свободных метабелевых группах
И. Г. Лысёнок
15 октября 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

8 октября 2013 г. (вт)
90. Конъюнктивные грамматики и расширенное операцией пересечения исчисление Ламбека
С. Кузнецов
8 октября 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

7 мая 2013 г. (вт)
91. О бесконечных периодических группах (новая нижняя граница периодов)
С. И. Адян
7 мая 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

23 апреля 2013 г. (вт)
92. Проблема Бернсайда о периодических группах (упрощенное доказательство)
С. И. Адян
23 апреля 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

16 апреля 2013 г. (вт)
93. О нижних оценках длины переписывания конъюнктивных запросов относительно некоторых теорий первого порядка
С. П. Кикоть
16 апреля 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

9 апреля 2013 г. (вт)
94. Об алгоритмической сложности замкнутого фрагмента логики доказуемости GLP
Ф. Н. Пахомов
9 апреля 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

2 апреля 2013 г. (вт)
95. О минимальных показателях экспоненциального роста свободных произведений групп
А. Л. Таламбуца
2 апреля 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

26 марта 2013 г. (вт)
96. Об аналоге теоремы Гильберта о нулях в алгебраической системе $(\mathbb{R}, \min, +)$
В. В. Подольский
26 марта 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

19 марта 2013 г. (вт)
97. Об арифметически полном исчислении для равномерных схем рефлексии
Л. Д. Беклемишев
19 марта 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

12 марта 2013 г. (вт)
98. Модальные логики отношений, индуцированных расстоянием Хэмминга
И. Б. Шапировский
12 марта 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

5 марта 2013 г. (вт)
99. О сложности вычисления LZ-разложения данного слова на РАМ-машине
Т. А. Стариковская
5 марта 2013 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

18 декабря 2012 г. (вт)
100. Оценки на длину совмещающего типа в исчислении Ламбека
А. А. Сорокин
18 декабря 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

11 декабря 2012 г. (вт)
101. О приближении булевых функций вещественными полиномами малой степени
А. А. Разборов
11 декабря 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

4 декабря 2012 г. (вт)
102. О реализации булевых функций знаковыми функциями целочисленных многочленов
В. В. Подольский
4 декабря 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

27 ноября 2012 г. (вт)
103. О моделях двух расширений исчисления Ламбека на подмножествах свободных моноидов
С. Кузнецов
27 ноября 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

20 ноября 2012 г. (вт)
104. Секвенциальное исчисление для логики доказуемости Джапаридзе
Д. С. Шамканов
20 ноября 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

13 ноября 2012 г. (вт)
105. Исчисление секвенций для логики доказуемости Гёделя–Лёба
Д. С. Шамканов
13 ноября 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

30 октября 2012 г. (вт)
106. Об элементарных теориях свободных групп
А. Г. Мясников
30 октября 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН
107. О расширениях централизаторов элементов в нильпотентных группах
В. Н. Ремесленников
30 октября 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

23 октября 2012 г. (вт)
108. О разрешимости элементарных теорий алгебр доказуемости и их фрагментов
Ф. Н. Пахомов
23 октября 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

16 октября 2012 г. (вт)
109. Контрпримеры к гипотезе Борсука на сферах малого радиуса
А. Б. Купавский
16 октября 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

9 октября 2012 г. (вт)
110. Система подстановок термов с одним правилом, имеющая алгоритмически неразрешимую проблему остановки
Д. С. Шамканов
9 октября 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

15 мая 2012 г. (вт)
111. Об уравнениях в алгебраической системе $(\mathbb Z,\min, +)$
В. В. Подольский
15 мая 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

24 апреля 2012 г. (вт)
112. О формулах первого порядка, эквивалентных переводам модальных формул
И. И. Осипов
24 апреля 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

10 апреля 2012 г. (вт)
113. О некоторых интервальных модальных логиках
А. С. Чижов
10 апреля 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

3 апреля 2012 г. (вт)
114. Устранимость тезиса Чёрча в доказательствах негативных формул в интуиционистской теории множеств
А. Г. Владимиров
3 апреля 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

27 марта 2012 г. (вт)
115. Модальная определимость формул первого порядка и ее применение в базах знаний
Е. Е. Золин
27 марта 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

20 марта 2012 г. (вт)
116. Об одном классе разрешимых монадических теорий графов
Ф. Н. Пахомов
20 марта 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

13 марта 2012 г. (вт)
117. О пропозициональных исчислениях, представляющих понятие доказуемости в арифметике
Е. В. Дашков
13 марта 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН

6 марта 2012 г. (вт)
118. О топологиях Зариского на кольцах и более общих алгебрах
Д. И. Савельев
6 марта 2012 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН
 
  Обратная связь:
math-net2025_01@mi-ras.ru
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025