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

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

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

✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 lambda2025_dop.pdf

➰ ВК