Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  


Структурная теория доказательств и алгебраическая логика
8 февраля–17 мая 2021 г., МФТИ - МИАН, г. Москва

Просьба ко всем участникам, в том числе смотрящим видеозаписи,
зарегистрироваться по ссылке: https://forms.gle/LhTtiKgJkeXCxyU87.


Курс состоит из двух основных частей — структурной теории доказательств и алгебраической логики. В первой части курса даются определения исчислений секвенций (в генценовском формате) для классической и интуиционистской логик, доказывается фундаментальная теорема об устранимости правила сечения и следствия из неё. Аналогичные исчисления строятся и для некоторых модальных логик. Доказываются теоремы об интерполяции. Далее вводятся субструктурные логики (линейная и аффинная), доказываются их свойства. Особый акцент делается на приложениях субструктурных логик для моделирования вычислительных процессов и в математической лингвистике. Вторая часть курса посвящена алгебраической логике. Вводится алгебраическая семантика, общая для всех логик, изучавшихся в первой части курса, доказывается абстрактная теорема о полноте. Устанавливается связь между интерполяцией и некоторым алгебраическим свойством (амальгамируемость). Для освоения курса желательно знать основы математической логики и теории алгоритмов.


Расписание на весенний семестр 2021/2021 учебного года:

Время занятий: понедельник 16:45 – 18:10

Первое занятие: 8 февраля


Объявления:
Заключительная лекция состоится 17 мая. 3 и 10 мая лекций не будет.


Финансовая поддержка. Курс проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).


Задачи к курсу (часть 1)
Задачи к курсу (часть 2)

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

Лектор
Кузнецов Степан Львович

Организации
Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)


Структурная теория доказательств и алгебраическая логика, г. Москва, 8 февраля–17 мая 2021 г.

17 мая 2021 г. (пн)
1. Лекция 11. Гиперсеквенциальное исчисление для MALC с законом дистрибутивности
С. Л. Кузнецов
17 мая 2021 г. 16:40, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  

26 апреля 2021 г. (пн)
2. Лекция 10.Неразрешимость задачи выводимости в MALC из гипотез
С. Л. Кузнецов
26 апреля 2021 г. 16:45, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  

19 апреля 2021 г. (пн)
3. Лекция 9. Решётки с делениями. Мультипликативно-аддитивное исчисление Ламбека
С. Л. Кузнецов
19 апреля 2021 г. 16:45, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  

12 апреля 2021 г. (пн)
4. Лекция 8. От амальгамируемости к интерполяции (часть 2)
С. Л. Кузнецов
12 апреля 2021 г. 16:45, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  

5 апреля 2021 г. (пн)
5. Лекция 7. От амальгамируемости к интерполяции (часть 1)
С. Л. Кузнецов
5 апреля 2021 г. 16:45, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  

29 марта 2021 г. (пн)
6. Лекция 6. Гейтинговы алгебры. От интерполяции к амальгамируемости
С. Л. Кузнецов
29 марта 2021 г. 16:45, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  

22 марта 2021 г. (пн)
7. Лекция 5. Интерполяционная лемма для Int
С. Л. Кузнецов
22 марта 2021 г. 16:45, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  

15 марта 2021 г. (пн)
8. Лекция 4. Теорема Гливенко
С. Л. Кузнецов
15 марта 2021 г. 16:45, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  

1 марта 2021 г. (пн)
9. Лекция 3. Разрешимость Int. Секвенциальное исчисление для классической логики высказываний
С. Л. Кузнецов
1 марта 2021 г. 16:45, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  

15 февраля 2021 г. (пн)
10. Лекция 2. Теорема об устранении сечения для интуиционистского исчисления высказываний. Теорема Харропа (дизъюнктивная)
С. Л. Кузнецов
15 февраля 2021 г. 16:45, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  

8 февраля 2021 г. (пн)
11. Лекция 1. Генценовское исчисление для интуиционистской логики высказываний
С. Л. Кузнецов
8 февраля 2021 г. 16:35, г. Москва, МФТИ - МИАН
С. Л. Кузнецов
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021