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

Введение в структурную теорию доказательств: исчисление секвенций

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

18 марта в 19:40 состоится заседание научно-учебного семинара "Логическая семантика" Международной лаборатории логики, лингвистики и формальной философии.

Даниил Хайтович 

стажер-исследователь Международной лаборатории логики, лингвистики и формальной философии

выступит с докладом:
"Введение в структурную теорию доказательств: исчисление секвенций"



Аннотация:
Доклад продолжает серию семинаров, которые посвящены введению в структурную теорию доказательств. Мы рассмотрим базовые идеи альтернатив гильбертовскому аксиоматическому исчислению: естественной дедукции и исчисления секвенций. 
В этот раз мы приступим к исчислению секвенций. Будут рассмотрены основные понятия и принципы классического исчисления секвенций.

Zoom
Идентификатор конференции: 952 3521 7540
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу elpopova@hse.ru