• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Мероприятия

Мини-курс Е. В. Борисова "Модальная логика первого порядка"

Мероприятие завершено

В рамках семинара "Логическая семантика" состоится мини-курс "Модальная логика первого порядка" доктора философских наук, профессора кафедры истории философии и логики Томского государственного университета Евгения Васильевича Борисова.

Цель мини-курса:

освоение метода табличного доказательства теорем в пропозициональной и первопорядковой модальной логике. На семинарах будем упражняться в доказательстве теорем и обсуждать интуитивный смысл используемых правил.

 

Расписание занятий:

  • Семинар 1. Табличный метод (метод семантического древа) в пропозициональной и первопорядковой логике.

14 октября, ауд. 512, 18.10-19.30

  • Семинар 2. Метод семантического древа в модальной пропозициональной логике.

17 октября, ауд. А-120, 16.40-18.00

  • Семинар 3. Метод семантического древа в модальной первопорядковой логике.

18 октября, ауд. 511, 16.40-18.00

18 октября состоятся два семинара с 16.40 до 19.30.

Семинар 1. Табличный метод (метод семантического древа) в пропозициональной и первопорядковой логике

Семинар 2. Метод семантического древа в модальной пропозициональной логике

Семинар 3. Метод семантического древа в модальной первопорядковой логике

Дополнительная литература к семинарам

Регистрация (заказать пропуск в здание)