ЭС: М.Р.Пентус

ПЕНТУС МАТИ РЕЙНОВИЧ (р. 16.07.1967, Таллин, Эстонская ССР), математик.

 

Окончил механико-математический факультет МГУ (1992). Кандидат физико-математических наук (1996, «Исчисление Ламбека и формальные грамматики»). Доктор физико-математических наук (2000, «Полнота исчисления Ламбека»). Доцент (2000).

 

Профессор кафедры математической логики и теории алгоритмов механико-математического факультета (2004–н.вр.). Работает в МГУ с 1995 г.

 

Научная и педагогическая деятельность. В сфере научных интересов компьютерная логика, неклассическая логика, теория доказательств, теория формальных языков, математическая лингвистика.

 

Основные труды: учебники и учебные пособия «Порождающие грамматики» (1999), «Язык математики» (1999), «Конечные автоматы и регулярные выражения. Сборник задач» (соавт., 2015), «Контекстно-свободные языки. Сборник задач» (соавт., 2016), «Задачи по комбинаторике для лингвистов» (соавт., 2019).