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

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

✨Тема: Булевы алгебры, продолжение: Ультрафильтры
(А.А.Запрягаев)
✨Аннотация. Мы продолжим изучать булевы алгебры и докажем при помощи ультрафильтров, что всякая булева алгебра вкладывается в некоторую алгебру множеств.
✨ Можно заранее порешать задачи (прикреплены к посту).

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

📝 Proseminar-Stone.pdf