📢 Репост из группы Кафедра математической логики МГУ:
#матлог #наука #спецкурс #не_мехмат #МИАН

В весеннем семестре продолжает работу спецкурс "Вычислительная теория доказательств и λ-исчисление". Спецкурс читают академик РАН Л. Д. Беклемишев и к. ф.-м. н. С. Л. Кузнецов.
Спецкурс возобновляет свою работу 10 февраля. Лекции проходят по понедельникам, в 16:30, в НОЦ Математического института им. В. А. Стеклова РАН: ул. Губкина, 8, комн. 530.
Смотрите более подробную информацию о спецкурсе в прикреплённом файле.
Приглашаются все желающие!

— Приложения:
lambda2020_advert.pdf, 0.19 Мб

ладно полудневники на работу

Салют, Ekaterina!
Если здесь впервые, то ознакомься с правилами — /rules, и представься, если несложно.

Почом занятия матешой

Современная математика есть?

А не то что читают академические пидерасты

Ekaterina left the group

Булинг преподов

Уф

Токсично

Ну какой человек такое и отношение

Вы уже 100500 лет сидите в чате с Дисой и до сих пор не выкупаете

ПосТирОнию

Кеек

@kosyamba помирился с тучей?