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

Мати Рейнович Пентус
Дата рождения	16 июля 1967(1967-07-16) (56 лет)
Место рождения	Эстонская ССР
Страна	СССР  Россия
Род деятельности	эсперантист, математик, преподаватель университета
Научная сфера	математическая логика
Место работы	МГУ
Альма-матер	МГУ (1992)
Учёная степень	доктор физико-математических наук
Учёное звание	профессор
Научный руководитель	С. Н. Артёмов
Известен как	специалист в области исчисления Ламбека

Ма́ти Ре́йнович Пе́нтус (род. 1967) — российский математик, специалист в области математической логики и исчисления Ламбека.

Мати Рейнович Пентус родился в 1967 году в

В 2001 году получил учёную степень доктора физико-математических наук, защитив докторскую диссертацию на тему «Полнота исчисления Ламбека»[1]. В этой работе Мати Рейновича Пентуса представлено доказательство полноты исчисления Ламбека относительно языковых моделей и относительно реляционных моделей.

В 2003 году доказал NP-полноту проверки выводимости секвенций в исчислении Ламбека^[3].

С 2004 года является профессором кафедры математической логики и теории алгоритмов

Под руководством Мати Рейновича Пентуса были защищены 3 кандидатские диссертации[6].

• Пентус, А. Е., Пентус, М. Р. Атомарная теория умножения и деления двусторонних идеалов полуколец (рус.) // Фундаментальная и прикладная математика. — 2009. — Т. 15, № 2. — С. 169-189. —
  ISSN 1560-5159
  .
• Пентус М. Р. Исчисление Ламбека и формальные грамматики (рус.) // Фундаментальная и прикладная математика. — 1995. — Т. 1, № 3. — С. 729-751.
• Пентус, А. Е., Пентус, М. Р. Объектно-ориентированное представление иерархических сетей Петри (рус.) // Фундаментальная и прикладная математика. — 2000. — Т. 6, № 3. — С. 831-840. —
  ISSN 1560-5159
  .
• Пентус М. Р. Полнота синтаксического исчисления Ламбека (рус.) // Фундаментальная и прикладная математика. — 1999. — Т. 5, № 1. — С. 193-219.
• Pentus, M. Lambek calculus is NP-complete (англ.) // Theoretical Computer Science. — 2006. — Vol. 357, no. 1. — P. 186-201. —
  doi:10.1016/j.tcs.2006.03.018
  .
• Pentus, M. The conjoinability relation in lambek calculus and linear logic (англ.) // J. Log. Lang. Inf.. — 1994. — Vol. 3, no. 2. — P. 121-140. —
  doi:10.1007/BF01110612
  .

• Пентус А. Е., Пентус М. Р. Задачи по комбинаторике для лингвистов (рус.). — М.: МЦНМО, 2019. — 32 с. — (Несерийное издание). — ISBN 978-5-4439-1383-4.
• Пентус А. Е., Пентус М. Р. Теория формальных языков: Учебное пособие. (рус.). — М.: Изд-во ЦПИ при механико-математическом ф-те МГУ, 2004. — 80 с.

• Исчисление Ламбека

• Личная страница М. Р. Пентуса (англ.). Дата обращения: 31 января 2024. Архивировано 13 ноября 2020 года.
• Мати Рейнович Пентус  (рус.). ИСТИНА МГУ. Дата обращения: 12 ноября 2020. Архивировано 12 ноября 2020 года.
• Мати Рейнович Пентус  (рус.). Летопись МГУ. Дата обращения: 12 ноября 2020. Архивировано 12 ноября 2020 года.
• Мати Рейнович Пентус  (рус.). РГГУ. Дата обращения: 12 ноября 2020. Архивировано 1 декабря 2020 года.
• Семинар "Некоторые применения математических методов в языкознании"  (рус.). ОТиПЛ МГУ. Дата обращения: 12 ноября 2020. Архивировано 12 ноября 2020 года.