RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB


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

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

В 2020 году заседания семинара проводятся online в формате Zoom-конференции. (Очные заседания семинара обычно проходят в 18.30 по вторникам в ауд. 16-04 ГЗ МГУ).

RSS: Ближайшие семинары

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

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


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

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

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

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

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

30 апреля 2019 г. (вт)
5. Некоторые алгоритмически неразрешимые проблемы, связанные с автоматными и самоподобными группами.
И. В. Митрофанов
30 апреля 2019 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

26 марта 2019 г. (вт)
6. Прямоугольные диаграммы узлов и их монотонное упрощение
И. А. Дынников
26 марта 2019 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

19 марта 2019 г. (вт)
7. Коммутаторная ширина группы Григорчука - II
И. Г. Лысёнок
19 марта 2019 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

12 марта 2019 г. (вт)
8. Коммутаторная ширина группы Григорчука - I
И. Г. Лысёнок
12 марта 2019 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

26 февраля 2019 г. (вт)
9. О субквадратичных функциях сложности вывода для односторонних систем Туэ
А. Л. Таламбуца
26 февраля 2019 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

18 декабря 2018 г. (вт)
10. Об одном фазовом переходе в теории Рамсея
А. А. Разборов
18 декабря 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

11 декабря 2018 г. (вт)
11. Вербальная замкнутость
А. А. Клячко
11 декабря 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

6 ноября 2018 г. (вт)
12. О спектрах консервативности арифметических теорий
Л. Д. Беклемишев
6 ноября 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

30 октября 2018 г. (вт)
13. О показателях экспоненциального роста прямоугольных групп Кокстера
А. Л. Таламбуца
30 октября 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

23 октября 2018 г. (вт)
14. Алгоритмическая разрешимость ориентируемых квадратичных уравнений в свободных метабелевых группах
И. Г. Лысёнок
23 октября 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

16 октября 2018 г. (вт)
15. О полноте модальных предикатных логик в семантике Крипке
В. Б. Шехтман
16 октября 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

24 апреля 2018 г. (вт)
16. О проблемах распознавания равенства и делимости слов в полугруппах с одним несократимым определяющим соотношением
С. И. Адян
24 апреля 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

10 апреля 2018 г. (вт)
17. О формулах, $n$-доказуемость которых выводима в арифметике Пеано
Е. А. Колмаков
10 апреля 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

20 марта 2018 г. (вт)
18. О свойствах редукции и отделимости проективных классов в совершенных прообразах отрезка
Д. И. Савельев
20 марта 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

6 марта 2018 г. (вт)
19. Сложность вычисления некоторых функций коммуникационными протоколамис большим числом участников
В. В. Подольский
6 марта 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

27 февраля 2018 г. (вт)
20. Теоремы об ускорении доказательств в арифметике Пресбургера
Ф. Н. Пахомов
27 февраля 2018 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

12 декабря 2017 г. (вт)
21. Логика Кузнецова-Муравицкого и семантика компьютерных языков
Д. С. Шамканов
12 декабря 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

21 ноября 2017 г. (вт)
22. О корнях многочленов в мин-плюс алгебре
В. В. Подольский
21 ноября 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

14 ноября 2017 г. (вт)
23. Рекурсивно перечислимые теории, не имеющие алгоритмически разрешимой аксиоматизации
С. Л. Кузнецов
14 ноября 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

24 октября 2017 г. (вт)
24. Об универсальной модели Крипке для позитивной логики доказуемости с операторами, выражающими консервативность
Л. Д. Беклемишев
24 октября 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

10 октября 2017 г. (вт)
25. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
Ю. В. Саватеев, Д. С. Шамканов
10 октября 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

3 октября 2017 г. (вт)
26. Об интерпретациях арифметики Пресбургера в самой себе
А. А. Запрягаев, Ф. Н. Пахомов
3 октября 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

16 мая 2017 г. (вт)
27. Исчисления Ламбека с обогащением сигнатуры операцией итерации
С. Л. Кузнецов
16 мая 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

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

18 апреля 2017 г. (вт)
29. О количестве слов данной длины, не содержащих $\alpha$-степеней - I
А. Л. Таламбуца
18 апреля 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

14 марта 2017 г. (вт)
30. Об исчислении секвенций для модальной логики Гжегорчика с нефундированными выводами
Д. С. Шамканов
14 марта 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

7 марта 2017 г. (вт)
31. О предупорядочении по вложению универсальных алгебр
Д. И. Савельев
7 марта 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

28 февраля 2017 г. (вт)
32. О неразрешимых элементарных теориях полугрупп со свободным одноместным предикатом
Ф. Н. Пахомов
28 февраля 2017 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

13 декабря 2016 г. (вт)
33. О невозможности одновременной оптимизации различных мер сложности пропозициональных доказательств
А. А. Разборов
13 декабря 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

6 декабря 2016 г. (вт)
34. О числе наборов элементов группы, обладающих данным свойством
А. А. Клячко
6 декабря 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

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

15 ноября 2016 г. (вт)
36. Новое доказательство теоремы Соловея об арифметической полноте логики GL
Ф. Н. Пахомов
15 ноября 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

8 ноября 2016 г. (вт)
37. Семантика квазидоказуемости для полных по Крипке расширений логики GL
Ф. Н. Пахомов
8 ноября 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

1 ноября 2016 г. (вт)
38. О позитивной логике доказуемости с операторами, выражающими консервативность
Л. Д. Беклемишев
1 ноября 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

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

4 октября 2016 г. (вт)
40. Построение конечно-определённой полугруппы с дробным порядком полиномиального роста
И. А. Иванов-Погодаев
4 октября 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

19 апреля 2016 г. (вт)
41. Системы ординальных обозначений в иерархии Кукаля
Ф. Н. Пахомов
19 апреля 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

5 апреля 2016 г. (вт)
42. Невозможность замены правила сокращения конечным числом определяющих соотношений при задании полугруппы
С. Л. Кузнецов
5 апреля 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

29 марта 2016 г. (вт)
43. Формальная арифметика на базе логики без правила сокращения
Д. С. Шамканов
29 марта 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

22 марта 2016 г. (вт)
44. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - III
А. Л. Таламбуца
22 марта 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

15 марта 2016 г. (вт)
45. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - II
А. Л. Таламбуца
15 марта 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

1 марта 2016 г. (вт)
46. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - I
А. Л. Таламбуца
1 марта 2016 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

8 декабря 2015 г. (вт)
47. Лексикографические произведения и суммы модальных логик
И. Б. Шапировский
8 декабря 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

1 декабря 2015 г. (вт)
48. Оценки длин преобразований запросов к снабженным логической теорией базам данных
В. В. Подольский
1 декабря 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

10 ноября 2015 г. (вт)
49. О минимальных леводистрибутивных группоидах
Д. И. Савельев
10 ноября 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

3 ноября 2015 г. (вт)
50. Квадраты Сегерберга модальных логик и реляционные алгебры
В. Б. Шехтман
3 ноября 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

27 октября 2015 г. (вт)
51. О некоторых нестандартных предикатах доказуемости для формальной арифметики Пеано
Ф. Н. Пахомов
27 октября 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

20 октября 2015 г. (вт)
52. О двух модальных расширениях исчисления Ламбека
С. Л. Кузнецов
20 октября 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

13 октября 2015 г. (вт)
53. О показателях экспоненциального роста HNN-расширений абелевых групп
А. Л. Таламбуца
13 октября 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

6 октября 2015 г. (вт)
54. Алгоритмическая статистика
Н. К. Верещагин
6 октября 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

19 мая 2015 г. (вт)
55. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко; продолжение)
Л. Д. Беклемишев
19 мая 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

12 мая 2015 г. (вт)
56. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко)
Л. Д. Беклемишев
12 мая 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

28 апреля 2015 г. (вт)
57. Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов
С. Л. Кузнецов
28 апреля 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

14 апреля 2015 г. (вт)
58. О существовании бесконечных конечно определённых ниль-полугрупп (По совместной работе с И.А. Ивановым-Погодаевым)
А. Я. Канель-Белов
14 апреля 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

7 апреля 2015 г. (вт)
59. Эффективный алгоритм для решения проблемы распознавания равенства в пространстве классов квазиморфизмов свободной группы
А. Л. Таламбуца
7 апреля 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

24 марта 2015 г. (вт)
60. Модальные логики, обогащенные модальностью транзитивного замыкания
Е. Е. Золин
24 марта 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

3 марта 2015 г. (вт)
61. О разрешимости элементарной теории свободной GLP-алгебры, порожденной константами
Ф. Н. Пахомов
3 марта 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

24 февраля 2015 г. (вт)
62. О разрешимости элементарных теорий некоторых систем ординальных обозначений, построенных на основе логики GLP
Ф. Н. Пахомов
24 февраля 2015 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

2 декабря 2014 г. (вт)
63. О выразимых в логике первого порядка свойствах случайных графов
М. Е. Жуковский
2 декабря 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

25 ноября 2014 г. (вт)
64. О теории доказательств модальной логики с оператором наименьшей неподвижной точки (продолжение)
Д. С. Шамканов
25 ноября 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

18 ноября 2014 г. (вт)
65. О теории доказательств модальной логики с оператором наименьшей неподвижной точки
Д. С. Шамканов
18 ноября 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

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

14 октября 2014 г. (вт)
67. Об одном достаточном условии финитной аппроксимируемости модальных логик
И. Б. Шапировский
14 октября 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

29 апреля 2014 г. (вт)
68. О соотношении тезиса Чёрча и принципа униформизации в теории множеств с интуиционистской логикой
В. Х. Хаханян
29 апреля 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

22 апреля 2014 г. (вт)
69. Полное описание соотношений между квазиморфизмами Брукса на свободной группе
А. Л. Таламбуца
22 апреля 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

25 марта 2014 г. (вт)
70. Отношение совместимости в исчислении Ламбека с операциями замещения
А. А. Сорокин
25 марта 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

18 марта 2014 г. (вт)
71. Задача о наибольшем общем подслове
Т. А. Стариковская
18 марта 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

11 марта 2014 г. (вт)
72. Послойно вычислимые отображения и лемма Ловаса о зависимости случайных событий
А. Х. Шень
11 марта 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

4 марта 2014 г. (вт)
73. Совместная логика задач и высказываний
С. А. Мелихов
4 марта 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

25 февраля 2014 г. (вт)
74. Совместная логика задач и высказываний
С. А. Мелихов
25 февраля 2014 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

10 декабря 2013 г. (вт)
75. О позитивных логиках доказуемости
Л. Д. Беклемишев
10 декабря 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

19 ноября 2013 г. (вт)
76. Ранг пересечения свободных подгрупп в фундаментальных группах графов групп
А. О. Захаров
19 ноября 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

12 ноября 2013 г. (вт)
77. О хопфовости $n$-периодических произведений групп
С. И. Адян, В. С. Атабекян
12 ноября 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

5 ноября 2013 г. (вт)
78. Ранг пересечения свободных подгрупп в свободном произведении групп с объединенной подгруппой
А. О. Захаров
5 ноября 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

29 октября 2013 г. (вт)
79. Об одной модификации понятия реализуемости Майхилла для интуиционистской теории множеств
Смелянский Д.М.
29 октября 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

22 октября 2013 г. (вт)
80. О расширении линейно упорядоченных множеств с помощью ультрафильтров
Д. И. Савельев
22 октября 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

15 октября 2013 г. (вт)
81. $\mathit{NP}$-полнота одного класса квадратичных уравнений в свободных метабелевых группах
И. Г. Лысёнок
15 октября 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

8 октября 2013 г. (вт)
82. Конъюнктивные грамматики и расширенное операцией пересечения исчисление Ламбека
С. Кузнецов
8 октября 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

7 мая 2013 г. (вт)
83. О бесконечных периодических группах (новая нижняя граница периодов)
С. И. Адян
7 мая 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

23 апреля 2013 г. (вт)
84. Проблема Бернсайда о периодических группах (упрощенное доказательство)
С. И. Адян
23 апреля 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

16 апреля 2013 г. (вт)
85. О нижних оценках длины переписывания конъюнктивных запросов относительно некоторых теорий первого порядка
С. П. Кикоть
16 апреля 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

9 апреля 2013 г. (вт)
86. Об алгоритмической сложности замкнутого фрагмента логики доказуемости GLP
Ф. Н. Пахомов
9 апреля 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

2 апреля 2013 г. (вт)
87. О минимальных показателях экспоненциального роста свободных произведений групп
А. Л. Таламбуца
2 апреля 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

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

19 марта 2013 г. (вт)
89. Об арифметически полном исчислении для равномерных схем рефлексии
Л. Д. Беклемишев
19 марта 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

12 марта 2013 г. (вт)
90. Модальные логики отношений, индуцированных расстоянием Хэмминга
И. Б. Шапировский
12 марта 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

5 марта 2013 г. (вт)
91. О сложности вычисления LZ-разложения данного слова на РАМ-машине
Т. А. Стариковская
5 марта 2013 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

18 декабря 2012 г. (вт)
92. Оценки на длину совмещающего типа в исчислении Ламбека
А. А. Сорокин
18 декабря 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

11 декабря 2012 г. (вт)
93. О приближении булевых функций вещественными полиномами малой степени
А. А. Разборов
11 декабря 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

4 декабря 2012 г. (вт)
94. О реализации булевых функций знаковыми функциями целочисленных многочленов
В. В. Подольский
4 декабря 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

27 ноября 2012 г. (вт)
95. О моделях двух расширений исчисления Ламбека на подмножествах свободных моноидов
С. Кузнецов
27 ноября 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

20 ноября 2012 г. (вт)
96. Секвенциальное исчисление для логики доказуемости Джапаридзе
Д. С. Шамканов
20 ноября 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

13 ноября 2012 г. (вт)
97. Исчисление секвенций для логики доказуемости Гёделя–Лёба
Д. С. Шамканов
13 ноября 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

30 октября 2012 г. (вт)
98. Об элементарных теориях свободных групп
А. Г. Мясников
30 октября 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ
99. О расширениях централизаторов элементов в нильпотентных группах
В. Н. Ремесленников
30 октября 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

23 октября 2012 г. (вт)
100. О разрешимости элементарных теорий алгебр доказуемости и их фрагментов
Ф. Н. Пахомов
23 октября 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

16 октября 2012 г. (вт)
101. Контрпримеры к гипотезе Борсука на сферах малого радиуса
А. Б. Купавский
16 октября 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

9 октября 2012 г. (вт)
102. Система подстановок термов с одним правилом, имеющая алгоритмически неразрешимую проблему остановки
Д. С. Шамканов
9 октября 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

15 мая 2012 г. (вт)
103. Об уравнениях в алгебраической системе $(\mathbb Z,\min, +)$
В. В. Подольский
15 мая 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

24 апреля 2012 г. (вт)
104. О формулах первого порядка, эквивалентных переводам модальных формул
И. И. Осипов
24 апреля 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

10 апреля 2012 г. (вт)
105. О некоторых интервальных модальных логиках
А. С. Чижов
10 апреля 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

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

27 марта 2012 г. (вт)
107. Модальная определимость формул первого порядка и ее применение в базах знаний
Е. Е. Золин
27 марта 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

20 марта 2012 г. (вт)
108. Об одном классе разрешимых монадических теорий графов
Ф. Н. Пахомов
20 марта 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

13 марта 2012 г. (вт)
109. О пропозициональных исчислениях, представляющих понятие доказуемости в арифметике
Е. В. Дашков
13 марта 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ

6 марта 2012 г. (вт)
110. О топологиях Зариского на кольцах и более общих алгебрах
Д. И. Савельев
6 марта 2012 г. 18:30, г. Москва, ауд. 16-04 ГЗ МГУ
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020