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

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

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

✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 diagonal2025.pdf

➰ ВК