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


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

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

Семинар обычно проходит в 18.30 по вторникам в ауд. 16-04 ГЗ МГУ.


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

Руководитель семинара
Адян Сергей Иванович

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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