Pentus, Mati Reinovich

Mati Reinovich Pentus (született 1967) orosz matematikus, a matematikai logika és a Lambek-számítás specialistája .

Életrajz

Mati Reinovich Pentus 1967-ben született Tallinnban [1] . 1992-ben diplomázott a Moszkvai Állami Egyetem Mechanikai és Matematikai Karán , megvédve „Ekvivalens típusok a Lambek-számításban és a lineáris logikában” [2] című szakdolgozatát . 1993-ban bebizonyította az úgynevezett Chomsky-sejtést, amely szerint Lambek kategorikus nyelvtana pontosan meghatározza a szövegkörnyezet nélküli nyelveket üres szó nélkül (akkor ez volt az egyik fő nyitott kérdés a Lambek-számítás területén). 1996-ban védte meg Ph.D. értekezését "Lambek-számítás és formális grammatika" [1] címmel .

2001-ben megkapta a fizikai és matematikai tudományok doktora címet, miután megvédte doktori disszertációját "A Lambek-számítás teljessége" [1] témában . Mati Reinovich Pentus írása a Lambek-számítás teljességének bizonyítékát mutatja be a nyelvi modellek és a relációs modellek tekintetében.

2003-ban bebizonyította a szekvenciák származtathatóságának ellenőrzésének NP-teljességét a Lambek-számításban [3] .

2004 óta a Moszkvai Állami Egyetem Mechanikai és Matematikai Karának Matematikai Logika és Algoritmuselmélet Tanszékének professzora . Mati Reinovich Pentus jelenleg a Moszkvai Állami Egyetem Mechanikai és Matematikai Karán, a Moszkvai Állami Egyetem Elméleti és Alkalmazott Nyelvészeti Tanszékén tanít, az Orosz Állami Humanitárius Egyetemen . Tanfolyamok szerzője a matematikai logikáról, a Lambek-számításról, a formális nyelvtan elméletéről , valamint az észt nyelvről és az eszperantóról [4] . A Moszkvai Állami Egyetem Elméleti és Alkalmazott Nyelvészeti Tanszékén folyó "A matematikai módszerek néhány alkalmazása a nyelvészetben" szabadon választható kurzusának egyik vezetője [5] .

Mati Reinovich Pentus vezetésével 3 Ph.D. disszertációt védtek meg [6] .

Főbb munkák

Cikkek

• Pentus, A. E., Pentus, M. R. A félgyűrűk kétoldali ideálainak szorzás- és osztáselmélete  // Alapvető és alkalmazott matematika. - 2009. - T. 15 , 2. sz . - S. 169-189 . — ISSN 1560-5159 . (Orosz)
• Pentus M. R. Lambek-számítás és formális nyelvtan  // Fundamental and alkalmazott matematika. - 1995. - T. 1 , 3. sz . - S. 729-751 . (Orosz)
• Pentus, A. E., Pentus, M. R. Hierarchikus Petri-hálók objektum-orientált ábrázolása  // Fundamental and alkalmazott mathematics. - 2000. - T. 6 , 3. sz . - S. 831-840 . — ISSN 1560-5159 . (Orosz)
• Pentus M. R. A Lambek szintaktikai számítás teljessége  // Alapvető és alkalmazott matematika. - 1999. - V. 5 , 1. sz . - S. 193-219 . (Orosz)
• Pentus, M. A Lambek-számítás NP-teljes  (angol)  // Theoretical Computer Science. - 2006. - 20. évf. 357. sz . 1 . — P. 186-201 . — ISSN 0304-3975 . - doi : 10.1016/j.tcs.2006.03.018 .
• Pentus, M. The conjoinability relation in lambek calculus and lineáris logic  //  J. Log. Lang. Inf.. - 1994. - évf. 3 , sz. 2 . - P. 121-140 . - doi : 10.1007/BF01110612 .

Oktatóanyagok

• Pentus A. E., Pentus M. R. A kombinatorika problémái nyelvészek számára . — M. : MTsNMO, 2019. — 32 p. — (Nem sorozatos kiadás). — ISBN 978-5-4439-1383-4 . (Orosz)
• Pentus A. E., Pentus M. R. Formális nyelvek elmélete: Tankönyv. . - M . : A CPI kiadója a Moszkvai Állami Egyetem Mechanikai és Matematikai Karán, 2004. - 80 p. (Orosz)

Lásd még

• Lambek kalkulus

Jegyzetek

1. ↑ 1 2 3 A Moszkvai Állami Egyetem évkönyvei: Mati Reinovich Pentus .
2. ↑ Oldal M.R. Pentus .
3. ↑ Pentus, 2006 .
4. ↑ IGAZSÁG MSU: Mati Reinovich Pentus .
5. ↑ http://tipl.philol.msu.ru/index.php/department/faculty/MRP Archiválva : 2020. november 12. a Wayback Machine OTiPL MSU-nál: Mati Reinovich Pentus
6. ↑ Matematikai genealógia: Mati Reinovich Pentus . Letöltve: 2020. november 12. Az eredetiből archiválva : 2020. augusztus 10. (határozatlan)

Linkek

• M.R. személyes oldala Pentus . Letöltve: 2020. november 12. Az eredetiből archiválva : 2020. november 13. (határozatlan)
• Mati Reinovich Pentus . IGAZ Moszkvai Állami Egyetem . Letöltve: 2020. november 12. Az eredetiből archiválva : 2020. november 12. (határozatlan)
• Mati Reinovich Pentus . A Moszkvai Állami Egyetem krónikája . Letöltve: 2020. november 12. Az eredetiből archiválva : 2020. november 12. (határozatlan)
• Mati Reinovich Pentus . RGGU . Letöltve: 2020. november 12. Az eredetiből archiválva : 2020. december 1. (határozatlan)
• "A matematikai módszerek néhány alkalmazása a nyelvészetben" szeminárium . OTiPL MSU . Letöltve: 2020. november 12. Az eredetiből archiválva : 2020. november 12. (határozatlan)