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

На занятии просеминара 24 октября будет тема "Определимость в геометрии" (Дмитрий Баженов, студент кафедры).
Можно заранее порешать задачи (прикреплены к посту).

❗По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi

Просеминар проходит по четвергам в 16:45-18:20 в аудитории 424 (2 гуманитарный корпус). Информацию о просеминаре можно найти на странице http://logic.math.msu.ru/proseminar/.

🔗 Просеминар по математической логике и информатике — Кафедра математической логики и теории алгоритмов


📝 opredelimost_geom2024.pdf

➰ ВК