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


Неклассические логики
8 февраля–17 мая 2021 г., МФТИ - МИАН, г. Москва

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


Курс читается в рамках программы базовой кафедры МИАН "Методы современной математики" в Московском физико-техническом институте.

Курс посвящен введению в один базовых разделов современной логики - исследование неклассических логик. Среди всего разнообразия таких систем в курсе рассматривается пропозициональная интуиционистская логика и наиболее известные модальные логики (среди них минимальная нормальная логика K и ее расширения K4, S4, S5, GL и т.д.) В качестве основного инструмента для изучения этих логик рассматриваются модели Крипке. Доказываются теоремы о полноте и различные следствия из них, в частности, Геделевский перевод интуиционистской логики в модальную логику S4. Для интуиционистской логики и логики S4 рассматривается топологическая семантика, устанавливается ее связь с семантикой Крипке и теоремы о полноте. Мы определяем доказуемостную интерпретацию модальности, доказываем теорему Соловея о полноте логик GL и S в этой интерпретации. В заключении рассматриваются логики с несколькими модальностями, некоторые приложения модальной логики как логики знаний (эпистемическая логика) и логики времени (темпоральная логика).

Курс рассчитан на студентов, прослушавших вводный курс математической логики.

Лекции будут транслироваться в Zoom. Для участия в курсе (и получения ссылки для участия онлайн) заполните регистрационную форму.


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

Время занятий: понедельник 11:30 – 12:55

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


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


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

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

Лекторы
Беклемишев Лев Дмитриевич
Яворская Татьяна Леонидовна

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


Неклассические логики, г. Москва, 8 февраля–17 мая 2021 г.

17 мая 2021 г. (пн)
1. Лекция 11. Неклассические логики
Т. Л. Яворская
17 мая 2021 г. 11:30, г. Москва, МФТИ - МИАН
Т. Л. Яворская
  

26 апреля 2021 г. (пн)
2. Лекция 10. Неклассические логики
Т. Л. Яворская
26 апреля 2021 г. 11:30, г. Москва, МФТИ - МИАН
Т. Л. Яворская
  

19 апреля 2021 г. (пн)
3. Лекция 9. Неклассические логики
Т. Л. Яворская
19 апреля 2021 г. 11:30, г. Москва, МФТИ - МИАН
Т. Л. Яворская
  

12 апреля 2021 г. (пн)
4. Лекция 8. Неклассические логики
Т. Л. Яворская
12 апреля 2021 г. 11:30, г. Москва, МФТИ - МИАН
Т. Л. Яворская
  

5 апреля 2021 г. (пн)
5. Лекция 7. Неклассические логики
Т. Л. Яворская
5 апреля 2021 г. 11:30, г. Москва, МФТИ - МИАН
Т. Л. Яворская
  

29 марта 2021 г. (пн)
6. Лекция 6. Неклассические логики
Т. Л. Яворская
29 марта 2021 г. 11:30, г. Москва, МФТИ - МИАН
Т. Л. Яворская
  

22 марта 2021 г. (пн)
7. Лекция 5. Неклассические логики
Т. Л. Яворская
22 марта 2021 г. 11:30, г. Москва, МФТИ - МИАН
Т. Л. Яворская
  

15 марта 2021 г. (пн)
8. Лекция 4. Модальные формулы и свойства шкал Крипке
Т. Л. Яворская
15 марта 2021 г. 11:30, г. Москва, МФТИ - МИАН
Т. Л. Яворская
  

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

15 февраля 2021 г. (пн)
10. Лекция 2. Полнота интуиционистской логики относительно семантики Крипке
Т. Л. Яворская
15 февраля 2021 г. 11:30, г. Москва, МФТИ - МИАН
Т. Л. Яворская
  

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