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

На занятии просеминара 28 ноября будет тема "Доказуемо рекурсивные функции и теорема Гёделя" (Беклемишев Л.Д.).

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

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

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


➰ ВК