Pentus, Mati Reinovich

Mati Reinovich Pentus (s. 1967) on venäläinen matemaatikko, matemaattisen logiikan ja Lambek-laskennan asiantuntija .

Elämäkerta

Mati Reinovich Pentus syntyi vuonna 1967 Tallinnassa [1] . Hän valmistui Moskovan valtionyliopiston mekaniikka-matematiikan tiedekunnasta vuonna 1992 ja puolusti väitöskirjaansa "Ekvivalentit tyypit Lambek-laskennassa ja lineaarilogiikassa" [2] . Vuonna 1993 hän todisti ns. Chomsky-oletuksen, jonka mukaan Lambekin kategoriset kieliopit määrittelevät tarkalleen yhteydettömät kielet ilman tyhjää sanaa (se oli tuolloin yksi tärkeimmistä avoimista kysymyksistä Lambekin laskennan alalla). Vuonna 1996 hän puolusti väitöskirjaansa aiheesta "Lambek-laskenta ja muodolliset kieliopit" [1] .

Vuonna 2001 hän sai fysiikan ja matemaattisten tieteiden tohtorin tutkinnon, kun hän oli puolustanut väitöskirjaansa aiheesta "Lambek-laskennan täydellisyys" [1] . Tämä Mati Reinovich Pentuksen artikkeli esittää todisteen Lambek-laskennan täydellisyydestä kielimallien ja relaatiomallien suhteen.

Vuonna 2003 hän osoitti Lambek-laskennan sekvenssien johdettavuuden tarkistamisen NP-täydellisyyden [3] .

Vuodesta 2004 hän on toiminut professorina Moskovan valtionyliopiston mekaniikan ja matematiikan tiedekunnan matemaattisen logiikan ja algoritmien teorian laitoksella . Mati Reinovich Pentus opettaa tällä hetkellä Moskovan valtionyliopiston mekaniikan ja matematiikan tiedekunnassa, Moskovan valtionyliopiston teoreettisen ja soveltavan kielitieteen laitoksella, Venäjän valtion humanitaarisessa yliopistossa . Hän on kirjoittanut kursseja matemaattisesta logiikasta, Lambek-laskusta, muodollisten kielioppien teoriasta sekä viron kielestä ja esperantosta [4] . Hän on yksi Moskovan valtionyliopiston teoreettisen ja soveltavan kielitieteen laitoksella järjestettävän valinnaisen kurssin "Some Applications of Mathematical Methods in Linguistics" [5] johtajista .

Mati Reinovich Pentuksen johdolla puolustettiin 3 väitöskirjaa [6] .

Tärkeimmät työt

Artikkelit

• Pentus, A. E., Pentus, M. R. Puolirenkaiden kaksipuolisten ideaalien kerto- ja jakamisteoria  // Fundamentaali- ja sovellettu matematiikka. - 2009. - T. 15 , nro 2 . - S. 169-189 . — ISSN 1560-5159 . (Venäjän kieli)
• Pentus M. R. Lambek-laskenta ja muodolliset kieliopit  // Fundamentaali- ja sovellettu matematiikka. - 1995. - T. 1 , nro 3 . - S. 729-751 . (Venäjän kieli)
• Pentus, A. E., Pentus, M. R. Hierarkkisten Petri-verkkojen oliosuuntautunut esitys  // Fundamentaali- ja sovellettu matematiikka. - 2000. - T. 6 , nro 3 . - S. 831-840 . — ISSN 1560-5159 . (Venäjän kieli)
• Pentus M. R. Lambek-syntaktisen laskennan täydellisyys  // Perus- ja sovellettu matematiikka. - 1999. - V. 5 , nro 1 . - S. 193-219 . (Venäjän kieli)
• Pentus, M. Lambek-laskenta on NP-täydellinen  (englanniksi)  // Teoreettinen tietojenkäsittelytiede. - 2006. - Voi. 357 , nro. 1 . — s. 186-201 . — ISSN 0304-3975 . - doi : 10.1016/j.tcs.2006.03.018 .
• Pentus, M. Lambek-laskennan ja lineaarisen logiikan liitettävyyssuhde  //  J. Log. Lang. Inf.. - 1994. - Voi. 3 , ei. 2 . - s. 121-140 . - doi : 10.1007/BF01110612 .

Oppaat

• Pentus A. E., Pentus M. R. Kombinatorian ongelmia kielitieteilijöille . — M. : MTsNMO, 2019. — 32 s. — (Ei-sarjapainos). — ISBN 978-5-4439-1383-4 . (Venäjän kieli)
• Pentus A. E., Pentus M. R. Formaalisten kielten teoria: Oppikirja. . - M . : CPI:n kustantamo Moskovan valtionyliopiston mekaniikan ja matematiikan tiedekunnassa, 2004. - 80 s. (Venäjän kieli)

Katso myös

• Lambek-laskenta

Muistiinpanot

1. ↑ 1 2 3 Moskovan valtionyliopiston lehdet: Mati Reinovich Pentus .
2. ↑ Sivu M.R. Pentus .
3. ↑ Pentus, 2006 .
4. ↑ TOTUUS MSU: Mati Reinovich Pentus .
5. ↑ http://tipl.philol.msu.ru/index.php/department/faculty/MRP Arkistoitu 12. marraskuuta 2020 Wayback Machinen OTiPL MSU:ssa: Mati Reinovich Pentus
6. ↑ Matemaattinen sukututkimus: Mati Reinovich Pentus . Haettu 12. marraskuuta 2020. Arkistoitu alkuperäisestä 10. elokuuta 2020. (määrätön)

Linkit

• M.R.:n henkilökohtainen sivu Pentus . Haettu 12. marraskuuta 2020. Arkistoitu alkuperäisestä 13. marraskuuta 2020. (määrätön)
• Mati Reinovich Pentus . TOSI Moskovan valtionyliopisto . Haettu 12. marraskuuta 2020. Arkistoitu alkuperäisestä 12. marraskuuta 2020. (määrätön)
• Mati Reinovich Pentus . Moskovan valtionyliopiston kronikka . Haettu 12. marraskuuta 2020. Arkistoitu alkuperäisestä 12. marraskuuta 2020. (määrätön)
• Mati Reinovich Pentus . RGGU . Haettu 12. marraskuuta 2020. Arkistoitu alkuperäisestä 1. joulukuuta 2020. (määrätön)
• Seminaari "Joitakin matemaattisten menetelmien sovelluksia kielitieteessä" . OTiPL MSU . Haettu 12. marraskuuta 2020. Arkistoitu alkuperäisestä 12. marraskuuta 2020. (määrätön)