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


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

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

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


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

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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