Неклассическая математическая логика

Лекция
100
12 мая, 17:00
Участники:
Описание встречи

Неклассическая математическая логика

Приглашаем на лекцию математика Мати Рейновича Пентуса.
Предполагается рассказать о нескольких системах математической логики, разработанных в 20-м веке, в частности об интуиционистской логике, модальной логике, логике доказуемости, логике доказательств и линейной логике.

Мати Рейнович Петус — профессор кафедры математической логики и теории алгоритмов МГУ.

12 мая, 17:00 в Антропологическом Кафе по адресу ул. Малая Пироговская, 13с1. Самый левый подъезд, серая дверь, звонок.
Вход 100 р.

Регистрация на сайте организатора

Смотрите также

Комментарии

Комментировать