|Esperanto| |English| |Russian|

Homepage of Mati Pentus

Site contents

• Some papers on Lambek calculus (abstracts and full texts)
• Teaching (a list of recent courses, some lecture notes and syllabi)
  • Links for Estonian translators
  • A list of exam problems on the theory of formal languages (587 problems, in Russian)
  • Research problems for mathematical logic students (in Russian)
• Curriculum vitae
• Leisure
  • Esperanto (including a succinct elementary self-study Esperanto course for Russian speakers)

Visit also

• Znaete slovo? (Do you know the word?), over 1800 interesting words with definitions, etymology, and illustrations (in Russian)
• The mathematical journal "Fundamentalnaya i prikladnaya matematika" (Fundamental and Applied Mathematics)
  (in Russian, in English)
• Download Axon Ivy, a process modelling and automation tool based on discrete event systems

Location: https://fervo.ru/mr/ Last modified 11.01.2024. Mati Pentus Tel/fax: + 7 - 495 - 939 30 31 New e_mai|: Please do not make this e_maiI address publicly available in text form.