#матлог #учёба #просеминар

💥В пятницу 25 сентября возобновляется работа просеминара по математической логике и информатике!

✨Тема: "Исчисление секвенций для логики высказываний" (А.А.Оноприенко).
✨Аннотация. Исчисления секвенций являются базовым инструментом теории доказательств. На примере классической логики высказываний мы покажем, как исчисления секвенций помогают прояснить устройство интересующих нас дедуктивных систем и получить альтернативные доказательства теорем о полноте.
✨Можно заранее порешать задачи.

✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 426 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти в группе кафедры ВК или в телеграм-канале по хештегу #просеминар