Русская Википедия:Пентус, Мати Рейнович
МаШаблон:Ударениети РеШаблон:Ударениейнович ПеШаблон:Ударениентус (род. 1967) — российский математик, специалист в области математической логики и исчисления Ламбека.
Биография
Мати Рейнович Пентус родился в 1967 году в ТаллинеШаблон:Sfn. Окончил механико-математический факультет МГУ в 1992 году, защитив дипломную работу «Эквивалентные типы в исчислении Ламбека и линейной логике»Шаблон:Sfn. В 1993 году доказал так называемую гипотезу Хомского, заключающуюся в том, что категориальные грамматики Ламбека задают в точности контекстно-свободные языки без пустого слова (на тот момент это был один из основных открытых вопросов в области исчисления Ламбека). В 1996 году защитил кандидатскую диссертацию на тему «Исчисление Ламбека и формальные грамматики»Шаблон:Sfn.
В 2001 году получил учёную степень доктора физико-математических наук, защитив докторскую диссертацию на тему «Полнота исчисления Ламбека»Шаблон:Sfn. В этой работе Мати Рейновича Пентуса представлено доказательство полноты исчисления Ламбека относительно языковых моделей и относительно реляционных моделей.
В 2003 году доказал NP-полноту проверки выводимости секвенций в исчислении ЛамбекаШаблон:Sfn.
С 2004 года является профессором кафедры математической логики и теории алгоритмов механико-математического факультета МГУ. Свою преподавательскую деятельность в настоящее время Мати Рейнович Пентус ведёт на механико-математическом факультете МГУ, на отделении теоретической и прикладной лингвистики МГУ, в РГГУ. Он является автором курсов по математической логике, исчислению Ламбека, теории формальных грамматик, а также по эстонскому языку и эсперантоШаблон:Sfn. Является одним из руководителей факультатива «Некоторые применения математических методов в языкознании», проходящего на отделении теоретической и прикладной лингвистики МГУ[1].
Под руководством Мати Рейновича Пентуса были защищены 3 кандидатские диссертации[2].
Основные труды
Статьи
Учебные пособия
См. также
Примечания
Ссылки
- ↑ http://tipl.philol.msu.ru/index.php/department/faculty/MRP Шаблон:Wayback ОТиПЛ МГУ: Мати Рейнович Пентус
- ↑ Шаблон:Cite web
- Русская Википедия
- Родившиеся в Таллине
- Математики по алфавиту
- Математики России
- Профессора МГУ
- Преподаватели механико-математического факультета МГУ
- Преподаватели филологического факультета МГУ
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии