|Esperanto| |English|

Mati Pentus. Teaching

See also two separate pages for mathematical logic students: "Research problems" (in Russian) and "Papers on the Internet".

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)
  • Lambek calculus
    Week-by-week outline (2005/2006, 2009/2010, in Russian)
  • Complexity of the Lambek calculus
    Course page (2006/2007, in Russian)
  • Lambek calculus
    Week-by-week outline (2005/2006, in Russian)
  • Formal language theory
    Week-by-week outline (2004/2005, in Russian)
  • Modal and algebraic logic (with V. B. Shehtman)
  • Logical problems of computer science (with S. N. Artemov, L. D. Beklemishev, V. N. Krupski, and T. L. Yavorskaya)
• 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
  • The Estonian language
    Course page in Russian (spring 2008, fall 2011)
  • Estonian word-formation
    Course page (fall 2009, in Russian)
  • The morphology and syntax of Esperanto
    Course page in Russian (fall 2008, fall 2010)

Tutorials

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

Location: http://lpcs.math.msu.su/~pentus/courses.htm Last modified 20.05.2011. Mati Pentus Tel/fax: + 7 - 495 - 939 30 31