Pentus MR-square.png

Мати Рейнович Пентус

профессор кафедры математической логики и теории алгоритмов
доцент, доктор физико-математических наук

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

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

Преподавание:

Теория грамматик (3 курс бакалавриата), Математическая теория грамматик (1 курс магистратуры)

Персональные страницы:

Профиль в системе Истина
Личная страница

Контакты:

mpentus@yandex.ru