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


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

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


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


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

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

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


Объявления: Лекция 22 февраля отменяется.


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

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

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

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


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

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

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