Mati Pentus. Instruado

Vidu ankaŭ apartan paĝon por studentoj, specialiĝintaj en matematika logiko: "Esplorproblemoj" (ruse).

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.

Universitataj kursoj

Mekanika-matematika fakultato
Departemento pri matematiko
- Enkonduko en matematikan logikon
  Ruslingva kurspaĝo (printempo 2005, printempo 2006)
- Senkuntekstaj gramatikoj
  Ruslingva kurspaĝo (printempo 2020)
- Finiaj aŭtomatoj
  (aŭtuno 2019)
- Komplikeco de la Lambek-kalkulo
  Posemajna ruslingva resumo (2006/2007, aŭtuno 2018)
- Lambekaj kategorigramatikoj
  Ruslingva kurspaĝo (2017/2018)
- Lambek-kalkulo
  Posemajna ruslingva resumo (2005/2006, 2009/2010)
- Teorio de formalaj lingvoj
  Posemajna ruslingva resumo (2004/2005)
- Logikaj problemoj de komputiko (kun S. N. Artjomov, L. D. Beklemiŝev, V. N. Krupskij kaj T. L. Javorskaja) kaj
  Modala kaj algebra logiko (kun V. B. Ŝeĥtman kaj I. B. Shapirovskij)
  Ruslingva seminaripaĝo
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
- Oftaj demandoj el la kurso "La estona lingvo" (ruse)
- La estona lingvo
  Ruslingva kurspaĝo (printempo 2008, aŭtuno 2011, aŭtuno 2015, printempo 2018, aŭtuno 2023)
- La morfologio de la estona
  Ruslingva kurspaĝo (aŭtuno 2019)
- Vortfarado en la estona
  Ruslingva kurspaĝo (aŭtuno 2009)
- La konversacia estona
  Ruslingva kurspaĝo (printempo 2024)
- La morfologio kaj sintakso de Esperanto
  Ruslingva kurspaĝo (aŭtuno 2008, aŭtuno 2010, printempo 2017, printempo 2025)
- Vortfarado en Esperanto
  Ruslingva kurspaĝo (printempo 2013)
Interfakultataj kursoj
- Matematikaj modeloj en lingvistiko
  Ruslingva kurspaĝo (Mati Pentus, Aleksandr Piperski kaj Aleksej Sorokin, aŭtuno 2015, aŭtuno 2017)
- Kategorigramatikoj
  Ruslingva kurspaĝo (Stepan Kuznecov, Mati Pentus kaj Aleksej Sorokin, printempo 2016, printempo 2018, printempo 2020)

Enkondukaj sciencaj prelegoj

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

Instruado

Adreso: https://fervo.ru/mr/courseseo.htm
Laste modifita 14.02.2025.
Mati Pentus
Tel/fakso: + 7 - 495 - 939 30 31