Введение в структурную теорию доказательств: исчисление секвенций
Мероприятие завершено
18 марта в 19:40 состоится заседание научно-учебного семинара "Логическая семантика" Международной лаборатории логики, лингвистики и формальной философии.
Даниил Хайтович
стажер-исследователь Международной лаборатории логики, лингвистики и формальной философии
выступит с докладом:
"Введение в структурную теорию доказательств: исчисление секвенций"
Аннотация:
Доклад продолжает серию семинаров, которые посвящены введению в структурную теорию доказательств. Мы рассмотрим базовые идеи альтернатив гильбертовскому аксиоматическому исчислению: естественной дедукции и исчисления секвенций.
В этот раз мы приступим к исчислению секвенций. Будут рассмотрены основные понятия и принципы классического исчисления секвенций.
Zoom
Идентификатор конференции: 952 3521 7540
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу elpopova@hse.ru
Дата
18 марта
19:40
В статье упомянуты
Персоны