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