|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)

Vizitindaj TTT-ejoj

• Znajete slovo? (Cxu vi scias la vorton?), pli ol 1800 interesaj vortoj kun difinoj, etimologio kaj ilustraĵoj (ruse)
• La matematika gazeto "Fundamentalnaja i prikladnaja matematika" (Fundamenta kaj aplika matematiko)
  (ruse, angle)
• Elŝutu la programon Axon Ivy, ilon por modelado kaj aŭtomacio de procesoj, bazitan sur sistemoj de diskretaj eventoj

Adreso: https://fervo.ru/mr/indexeo.htm Laste modifita 11.01.2024. Mati Pentus Tel/fakso: + 7 - 495 - 939 30 31 Retpoŝto: Bonvolu ne publikigi la retpoŝt-adreson tekste.