|Esperanto| |English|

Mati Pentus. Teaching

See also a separate page for mathematical logic students: "Research problems" (in Russian).

Lecture notes and textbooks

• Language of Mathematics (in Russian). Moscow, Dialog-MGU, 1999, 28 pp.
  Download: PostScript.zip (109K)
• Generative Grammars (in Russian). Moscow, Dialog-MGU, 1999, 28 pp.
  Download: PostScript.zip (93K)
• Noncommutative Linear Logic (in English). A series of talks, 2003, 10 pp.
  Download: pdf (175K)
• Formal Language Theory (in Russian, with Anna Pentus). Moscow, Mehmat MGU, 2004, 80 pp.
• The Mathematical Theory of Formal Languages (in Russian, with Anna Pentus). Moscow, INTUIT, BINOM, 2006, 247 pp.

University courses

• Faculty of mechanics and mathematics
  Department of mathematics
  • Introduction to mathematical logic
    Course page (in Russian, spring 2005, spring 2006)
  • Context-free grammars
    Course page (spring 2020, in Russian)
  • Finite automata
    (fall 2019, in Russian)
  • Complexity of the Lambek calculus
    Week-by-week outline (2006/2007, fall 2018, in Russian)
  • Lambek categorial grammars
    Course page (2017/2018, in Russian)
  • Lambek calculus
    Week-by-week outline (2005/2006, 2009/2010, in Russian)
  • Formal language theory
    Week-by-week outline (2004/2005, in Russian)
  • Logical problems of computer science (with S. N. Artemov, L. D. Beklemishev, V. N. Krupski, and T. L. Yavorskaya) and
    Modal and algebraic logic (with V. B. Shehtman and I. B. Shapirovsky)
    Seminar page (in Russian)
• Faculty of mechanics and mathematics
  Theoretical problems of computer science
  • Mathematical logic (2000)
  • Formal language theory (2001-2004)
• Faculty of philology
  Department of theoretical and applied linguistics
  • Language of mathematics
    Syllabus in Russian
  • Calculus
    Syllabus in Russian, lecture notes in Russian, test problems in Russian
  • Algebra
    Syllabus in Russian, lecture plan in Russian
  • Mathematical theory of grammars
    Syllabus in Russian, course page in Russian
  • Frequently asked questions from the course "The Estonian language" (in Russian)
  • The Estonian language
    Course page in Russian (spring 2008, fall 2011, fall 2015, spring 2018, fall 2023)
  • The morphology of Estonian
    Course page in Russian (fall 2019)
  • Estonian word-formation
    Course page in Russian (fall 2009)
  • Conversational Estonian language
    Course page in Russian (spring 2024)
  • The morphology and syntax of Esperanto
    Course page in Russian (fall 2008, fall 2010, spring 2017, spring 2025)
  • Word-formation in Esperanto
    Course page in Russian (spring 2013)
• Interfaculty courses
  • Mathematical models in linguistics
    Course page in Russian (Mati Pentus, Alexander Piperski, and Alexey Sorokin, fall 2015, fall 2017)
  • Categorial grammars
    Course page in Russian (Stepan Kuznetsov, Mati Pentus, and Alexey Sorokin, spring 2016, spring 2018, spring 2020)

Tutorials

• Correspondence between Lambek grammars and context-free grammars.
  The 5th Estonian Winter School in Computer Science (EWSCS 2000), Palmse (Estonia), February 2000.

Location: https://fervo.ru/mr/courses.htm Last modified 14.02.2025. Mati Pentus Tel/fax: + 7 - 495 - 939 30 31