ЛекцияСеминар, Мастер-класс, Показ, ЭкскурсияЦикл событийФестиваль, конференция, форумКурсМагистратура, MBA, ТренингГрантРезиденции, стажировки, конкурсыPromoПродвижение анонса
ГлавнаяЛекцииЛекции в МосквеНаукаНеклассическая математическая логика
Лекция, 12 мая, 17:00

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

100
Участники:
Неклассическая математическая логика
Описание встречи

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

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

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

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

Узнать больше

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

Комментарии

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