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