Pentus, Mati Reinovich

Mati Reinovich Pentus (født 1967) er en russisk matematiker, specialist i matematisk logik og Lambek -regning .

Biografi

Mati Reinovich Pentus blev født i 1967 i Tallinn [1] . Han dimitterede fra Fakultetet for Mekanik og Matematik ved Moscow State University i 1992, efter at have forsvaret sin afhandling "Tilsvarende typer i Lambek-regningen og lineær logik" [2] . I 1993 beviste han den såkaldte Chomsky-formodning, som siger, at Lambeks kategoriske grammatikker præcist definerer kontekstfrie sprog uden det tomme ord (på det tidspunkt var det et af de vigtigste åbne spørgsmål inden for Lambeks kalkulus). I 1996 forsvarede han sin ph.d.-afhandling om "Lambek-regning og formelle grammatikker" [1] .

I 2001 modtog han graden doktor i fysiske og matematiske videnskaber efter at have forsvaret sin doktorafhandling om emnet "Completeness of the Lambek calculus" [1] . Dette papir af Mati Reinovich Pentus præsenterer et bevis på fuldstændigheden af ​​Lambek-regningen med hensyn til sprogmodeller og med hensyn til relationelle modeller.

I 2003 beviste han NP-fuldstændigheden af ​​at kontrollere afledningsevnen af ​​sekventer i Lambek -regningen [3] .

Siden 2004 har han været professor ved Institut for Matematisk Logik og Teori om Algoritmer ved Fakultetet for Mekanik og Matematik ved Moscow State University . Mati Reinovich Pentus underviser i øjeblikket ved Fakultetet for Mekanik og Matematik ved Moscow State University, ved Institut for Teoretisk og Anvendt Lingvistik ved Moscow State University, ved Russian State Humanitarian University . Han er forfatter til kurser om matematisk logik, Lambek-regningen, teorien om formelle grammatikker samt om det estiske sprog og esperanto [4] . Han er en af ​​lederne af valgfaget "Some Applications of Mathematical Methods in Linguistics", der finder sted ved Institut for Teoretisk og Anvendt Lingvistik ved Moscow State University [5] .

Under ledelse af Mati Reinovich Pentus blev 3 ph.d.-afhandlinger forsvaret [6] .

Større værker

Artikler

• Pentus, A. E., Pentus, M. R. Atomteori om multiplikation og division af tosidede idealer for semiringer  // Grundlæggende og anvendt matematik. - 2009. - T. 15 , nr. 2 . - S. 169-189 . — ISSN 1560-5159 . (Russisk)
• Pentus M. R. Lambek calculus og formelle grammatikker  // Grundlæggende og anvendt matematik. - 1995. - T. 1 , nr. 3 . - S. 729-751 . (Russisk)
• Pentus, A. E., Pentus, M. R. Objektorienteret repræsentation af hierarkiske petrinetter  // Grundlæggende og anvendt matematik. - 2000. - T. 6 , nr. 3 . - S. 831-840 . — ISSN 1560-5159 . (Russisk)
• Pentus M. R. Fuldstændigheden af ​​Lambek syntaktiske beregning  // Grundlæggende og anvendt matematik. - 1999. - V. 5 , nr. 1 . - S. 193-219 . (Russisk)
• Pentus, M. Lambek calculus er NP-komplet  (engelsk)  // Teoretisk datalogi. - 2006. - Bd. 357 , nr. 1 . — S. 186-201 . — ISSN 0304-3975 . - doi : 10.1016/j.tcs.2006.03.018 .
• Pentus, M. Konjoinabilitetsrelationen i lambekregning og lineær logik  //  J. Log. Lang. Inf.. - 1994. - Vol. 3 , nr. 2 . - S. 121-140 . - doi : 10.1007/BF01110612 .

Tutorials

• Pentus A. E., Pentus M. R. Problemer i kombinatorik for lingvister . — M. : MTsNMO, 2019. — 32 s. — (Ikke-serieudgave). — ISBN 978-5-4439-1383-4 . (Russisk)
• Pentus A. E., Pentus M. R. Teori om formelle sprog: Lærebog. . - M . : Forlag for CPI ved Mekanik- og Matematikfakultetet ved Moscow State University, 2004. - 80 s. (Russisk)

Se også

• Lambek regning

Noter

1. ↑ 1 2 3 Annals of Moscow State University: Mati Reinovich Pentus .
2. ↑ Side M.R. Pentus .
3. ↑ Pentus, 2006 .
4. ↑ TRUTH MSU: Mati Reinovich Pentus .
5. ↑ http://tipl.philol.msu.ru/index.php/department/faculty/MRP Arkiveret 12. november 2020 på Wayback Machine OTiPL MSU: Mati Reinovich Pentus
6. ↑ Math Genealogy: Mati Reinovich Pentus . Hentet 12. november 2020. Arkiveret fra originalen 10. august 2020. (ubestemt)

Links

• Personlig side af M.R. Pentus . Hentet 12. november 2020. Arkiveret fra originalen 13. november 2020. (ubestemt)
• Mati Reinovich Pentus . TRUE Moscow State University . Hentet 12. november 2020. Arkiveret fra originalen 12. november 2020. (ubestemt)
• Mati Reinovich Pentus . Krønike fra Moscow State University . Hentet 12. november 2020. Arkiveret fra originalen 12. november 2020. (ubestemt)
• Mati Reinovich Pentus . RGGU . Hentet 12. november 2020. Arkiveret fra originalen 1. december 2020. (ubestemt)
• Seminar "Nogle anvendelser af matematiske metoder i lingvistik" . OTiPL MSU . Hentet 12. november 2020. Arkiveret fra originalen 12. november 2020. (ubestemt)