Mati Pentus

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo
Ĉi tiu artikolo estas verkita en Esperanto-Vikipedio kiel la unua el ĉiuj lingvoj en la tuta Vikipedia projekto.

Mati Reinoviĉ PENTUS (1967 en Talino, Estona SSR, Sovetunio) estas doktoro pri fizikaj kaj matematikaj sciencoj el Moskva Ŝtata Universitato. Li estas profesoro el 1998 pri matematika logiko, pruvoteorio, formalaj lingvoj. Li estas kunlaboranto de la gazetoj Monato, La Ondo de Esperanto kaj Beletra Almanako. En Esperantujo kaj en sia labora kariero li kunlaboras kun Anna Pentus.

Verkoj[redakti | redakti fonton]

  • Pentus, Mati (1997), Lambek Calculus and Formal Grammars, Amer. Math. Soc. Trad.

Vidu ankaŭ[redakti | redakti fonton]

Eksteraj ligiloj[redakti | redakti fonton]