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

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

✨Тема: "Теория определимости" (А.Л.Семенов, заведующий кафедрой).
✨Аннотация. Участники семинара уже познакомились с тем, как математика описывает, что значит доказать что-то.
Теперь мы обсудим, как математика описывает, что значит определить что-то.
Мы докажем один из важнейших результатов математики прошлого века – Теорему Гёделя (о неполноте).
Будут предложены задачи из теории определимости, в том числе – ещё не решенные, а также решаемые сейчас с применением искусственного интеллекта.

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