Saint Petersburg, 199178, Russia, Line 14th (Vasilyevsky Island), 29
(812) 363-68-71, (812) 363-68-72
ru en

Пентус Мати Рейнович
Пентус Мати Рейнович
Ведущий научный сотрудник

m.pentus@spbu.ru

http://lpcs.math.msu.su/~pentus/


Образование

  • Доктор физико-математических наук
    01.2001, МГУ
    Thesis: Completeness of the Lambek calculus
    Оппоненты:  А.В. Михалев,  В.П. Оревков, А.Л. Семенов

Научные интересы

Компьютерная логика, математическая лингвистика, неклассическая логика, теория доказательств


Дополнительная информация

mpentus@yandex.ru