|Esperante| |English| |Russian|

Hejmpaĝo de Mati Pentus

Enhavo de la TTT-ejo

• Kelkaj artikoloj pri la lambek-kalkulo (resumoj en la angla kaj kompletaj tekstoj en la angla aŭ rusa)
• Instruado (listo de lastatempaj kursoj, kelkaj lekcinotoj kaj kursplanoj)
  • Listo de ekzamenproblemoj pri la teorio de formalaj lingvoj (587 problemoj, ruse)
  • Esplorproblemoj por studentoj, specialiĝintaj en matematika logiko (ruse)
• Vivprotokolo
• Libertempo
  • Esperanto (inkluzive de tre mallonga elementa Esperanto-memlernilo por ruslingvanoj)
  • La ludo "chomp" (eta Ĝav-apleto)
  • Alia ludo

Vizitindaj TTT-ejoj

• Znajete slovo? (Cxu vi scias la vorton?) -- pli ol 1000 interesaj vortoj kun difinoj, etimologio kaj ilustraĵoj (ruse)
• La matematika gazeto "Fundamentalnaja i prikladnaja matematika" (Fundamenta kaj aplika matematiko)
  (ruse, angle)
• Elŝutu senkoste la programon IvyFrame/Demo, ilon por modelado kaj optimigado de procesoj, bazitan sur sistemoj de diskretaj eventoj

Adreso: http://lpcs.math.msu.su/~pentus/indexeo.htm Laste modifita 19.09.2009. Mati Pentus Tel/fakso: + 7 - 495 - 939 30 31 Retpoŝto: Bonvolu ne publikigi la retpoŝt-adreson tekste.