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


Семинар отдела математической логики «Теория доказательств»
МИАН, ауд. 530, г. Москва

Семинар проходит по понедельникам в 18:30.


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

Руководитель семинара
Беклемишев Лев Дмитриевич

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


Семинар отдела математической логики «Теория доказательств», г. Москва

10 июля 2017 г.
1. О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
И. Б. Шапировский
10 июля 2017 г. 16:30, г. Москва, МИАН, ауд. 530

29 мая 2017 г.
2. Формализм для некоторых свойств из первого курса топологии
М. Р. Гаврилович
29 мая 2017 г. 18:30, г. Москва, МИАН, ауд. 530

15 мая 2017 г.
3. О неизоморфизме алгебр Магари для PA и ZF
Колмаков Евгений
15 мая 2017 г. 18:35, г. Москва, МИАН, ауд. 530

24 апреля 2017 г.
4. The reverse mathematics of decidability results for monadic second order logic
Leszek Kolodziejczyk
24 апреля 2017 г. 18:45, г. Москва, МИАН, ауд. 530

10 апреля 2017 г.
5. О вычислительных аспектах теории истины по Крипке
С. О. Сперанский
10 апреля 2017 г. 18:30, г. Москва, МИАН, ауд. 530

3 апреля 2017 г.
6. Цепи из утверждений о медленной непротиворечивости
Ф. Н. Пахомов
3 апреля 2017 г. 18:30, г. Москва, МИАН, ауд. 530

13 марта 2017 г.
7. Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности
Л. Д. Беклемишев
13 марта 2017 г. 18:30, г. Москва, МИАН, ауд. 530

6 марта 2017 г.
8. Семантика металогики. (Часть 2)
С. А. Мелихов
6 марта 2017 г. 18:30, г. Москва, МИАН, ауд. 530

27 февраля 2017 г.
9. Семантика металогики. (Часть 1)
С. А. Мелихов
27 февраля 2017 г. 18:30, г. Москва, МИАН, ауд. 530

20 февраля 2017 г.
10. Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 2)
Колмаков Е.А.
20 февраля 2017 г., г. Москва, МИАН, ауд. 530

13 февраля 2017 г.
11. Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 1)
Колмаков Е.А.
13 февраля 2017 г. 18:30, г. Москва, МИАН, ауд. 530

26 декабря 2016 г.
12. Об аксиоматизации строго позитивных фрагментов модальных логик
М. В. Захарьящев, С. П. Кикоть
26 декабря 2016 г. 18:30, г. Москва, МИАН, ауд. 530

19 декабря 2016 г.
13. О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте
Ф. Н. Пахомов
19 декабря 2016 г. 18:30, г. Москва, МИАН, ауд. 530

5 декабря 2016 г.
14. Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера, и многомерная гипотеза Виссера
Запрягаев А. А.
5 декабря 2016 г. 18:30, г. Москва, МИАН, ауд. 530

28 ноября 2016 г.
15. О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
28 ноября 2016 г. 18:30, г. Москва, МИАН, ауд. 530

21 ноября 2016 г.
16. О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
21 ноября 2016 г. 18:30, г. Москва, МИАН, ауд. 530

7 ноября 2016 г.
17. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1.
Д. И. Савельев
7 ноября 2016 г. 18:30, г. Москва, МИАН, ауд. 530

31 октября 2016 г.
18. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
Д. И. Савельев
31 октября 2016 г. 18:30, г. Москва, МИАН, ауд. 530

17 октября 2016 г.
19. Полиномиальный алгоритм распознавания выводимости в строго позитивной логике линейных порядков
Святловский М.
17 октября 2016 г. 18:30, г. Москва, МИАН, ауд. 530

10 октября 2016 г.
20. Строго позитивная логика конечных линейных порядков, продолжение
Святловский М.
10 октября 2016 г. 18:30, г. Москва, МИАН, ауд. 530

3 октября 2016 г.
21. Строго позитивная логика конечных линейных порядков
Святловский М.
3 октября 2016 г. 18:30, г. Москва, МИАН, ауд. 530

26 сентября 2016 г.
22. О новом доказательстве теоремы Соловея
Ф. Н. Пахомов
26 сентября 2016 г. 18:30, г. Москва, МИАН, ауд. 530

23 мая 2016 г.
23. Конструктивная модальная логика, похожая на логику доказуемости GL.
Д. С. Шамканов
23 мая 2016 г., г. Москва, МИАН, ауд. 530

16 мая 2016 г.
24. Формальная металогика логик первого порядка и её формальная семантика
С. А. Мелихов
16 мая 2016 г., г. Москва, МИАН, ауд. 530

18 апреля 2016 г.
25. Об автоматных группах и их обобщениях
А. Л. Таламбуца
18 апреля 2016 г., г. Москва, МИАН, ауд. 530

4 апреля 2016 г.
26. On Feferman's second conjecture
Michael Rathjen
4 апреля 2016 г., г. Москва, конференц-зал МИАН (ул. Губкина, 8), г. Москва

28 марта 2016 г.
27. Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
28 марта 2016 г., г. Москва, МИАН, ауд. 530

21 марта 2016 г.
28. Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
21 марта 2016 г. 18:30, г. Москва, МИАН, ауд. 530

14 марта 2016 г.
29. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 (продолжение)
Л. Д. Беклемишев
14 марта 2016 г. 18:30, г. Москва, МИАН, ауд. 530

29 февраля 2016 г.
30. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016
Л. Д. Беклемишев
29 февраля 2016 г. 18:30, г. Москва, МИАН, ауд. 530

15 февраля 2016 г.
31. Биинтерпретируемость для расширений ZF
Ф. Н. Пахомов
15 февраля 2016 г. 18:30, г. Москва, МИАН, ауд. 530

28 декабря 2015 г.
32. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
28 декабря 2015 г. 18:30, г. Москва, МИАН, ауд. 530

14 декабря 2015 г.
33. Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств
Ю. В. Саватеев
14 декабря 2015 г. 18:30, г. Москва, МИАН, ауд. 530

30 ноября 2015 г.
34. Интерпретируемость для фрагментов арифметики Пресбургера. Часть 2
А. А. Запрягаев
30 ноября 2015 г. 18:30, г. Москва, МИАН, ауд. 530

23 ноября 2015 г.
35. Логика интерпретируемости. Часть 2
Л. Д. Беклемишев
23 ноября 2015 г. 18:30, г. Москва, МИАН, ауд. 530

16 ноября 2015 г.
36. Логика интерпретируемости. Часть 1
Л. Д. Беклемишев
16 ноября 2015 г. 18:30, г. Москва, МИАН, ауд. 530

9 ноября 2015 г.
37. Интерпретируемость для фрагментов арифметики Пресбургера. Часть 1
А. А. Запрягаев
9 ноября 2015 г. 18:30, г. Москва, МИАН, ауд. 530

26 октября 2015 г.
38. Итерации медленной непротиворечивости. Часть 2
Ф. Н. Пахомов
26 октября 2015 г. 18:30, г. Москва, МИАН, ауд. 530

19 октября 2015 г.
39. Итерации медленной непротиворечивости. Часть 1
Ф. Н. Пахомов
19 октября 2015 г. 18:30, г. Москва, МИАН, ауд. 530

5 октября 2015 г.
40. О независимых принципах в совместной логике задач и высказываний. Часть 2
С. А. Мелихов
5 октября 2015 г. 18:30, г. Москва, МИАН, ауд. 530

28 сентября 2015 г.
41. О независимых принципах в совместной логике задач и высказываний. Часть 1
С. А. Мелихов
28 сентября 2015 г. 18:30, г. Москва, МИАН, ауд. 530

7 сентября 2015 г.
42. Некоторые новые результаты в монадической арифметике второго порядка
С. О. Сперанский
7 сентября 2015 г. 18:30, г. Москва, МИАН, ауд. 530
 
Обратная связь:
  Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017