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