Home
Papers
Teaching
CV
Leisure
|
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)
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)
Chomp game
(a tiny Java applet)
Another board game
Visit also
Znaete slovo?
(Do you know the word?) -- over 1000 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 free
IvyFrame/Demo
-- a process modelling and optimization tool based on discrete event systems
Home
Papers
Teaching
CV
Leisure
Location:
http://lpcs.math.msu.su/~pentus/
Last modified 19.09.2009.
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.