Mati Pentus. Instruado

Vidu ankaŭ du apartajn paĝojn por studentoj, specialiĝintaj en matematika logiko: "Esplorproblemoj" (ruse) kaj "Artikoloj en Interreto" (angle).

Lekcinotoj kaj lernolibroj

Lingvo de matematiko (ruse). Moskvo, Dialog-MGU, 1999, 28 paĝoj.
Elŝuti: PostScript.zip (109K)
Generaj gramatikoj (ruse). Moskvo, Dialog-MGU, 1999, 28 paĝoj.
Elŝuti: PostScript.zip (93K)
Nekomuta lineara logiko (angle). Serio de prelegoj, 2003, 10 paĝoj.
Elŝuti: pdf (175K)
Teorio de formalaj lingvoj (ruse, kun Anna Pentus). Moskvo, Meĥmat MGU, 2004, 80 paĝoj.
Matematika teorio de formalaj lingvoj (ruse, kun Anna Pentus). Moskvo, INTUIT, BINOM, 2006, 247 paĝoj.

Mekanika-matematika fakultato
Departemento pri matematiko
- Enkonduko en matematikan logikon
  Ruslingva kurspaĝo (printempo 2005, printempo 2006)
- Lambek-kalkulo
  Posemajna ruslingva resumo (2005/2006, 2009/2010)
- Komplikeco de la Lambek-kalkulo
  Ruslingva kurspaĝo (2006/2007)
- Teorio de formalaj lingvoj
  Posemajna ruslingva resumo (2004/2005)
- Modala kaj algebra logiko (kun V. B. Ŝeĥtman)
- Logikaj problemoj de komputiko (kun S. N. Artjomov, L. D. Beklemiŝev, V. N. Krupskij kaj T. L. Javorskaja)
Mekanika-matematika fakultato
Teoriaj problemoj de komputiko
- Matematika logiko (2000)
- Teorio de formalaj lingvoj (2001-2004)
Filologia fakultato
Departemento pri teoria kaj aplika lingvistiko
- Lingvo de matematiko
  Ruslingva kursplano
- Analitiko
  Ruslingva kursplano, ruslingvaj lekcinotoj, ruslingvaj ekzamenproblemoj
- Algebro
  Ruslingva kursplano, ruslingva lecionplano
- Matematika teorio de gramatikoj
  Ruslingva kursplano, Ruslingva kurspaĝo
- La estona lingvo
  Ruslingva kurspaĝo (printempo 2008, aŭtuno 2011)
- Vortfarado en la estona
  Ruslingva kurspaĝo (aŭtuno 2009)
- La morfologio kaj sintakso de Esperanto
  Ruslingva kurspaĝo (aŭtuno 2008, aŭtuno 2010)

Konekso inter lambekaj gramatikoj kaj senkuntekstaj gramatikoj.
La kvina estona vintra lernejo pri komputiko (EWSCS 2000), Palmse (Estonio), februaro 2000.

Instruado

Adreso: http://lpcs.math.msu.su/~pentus/courseseo.htm
Laste modifita 20.05.2011.
Mati Pentus
Tel/fakso: + 7 - 495 - 939 30 31