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