Petr Štěpánek

Z ωικι.matfyz.cz
Verze z 19. 7. 2012, 12:36, kterou vytvořil 78.80.55.19 (diskuse) (+zemřel)

(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
Přejít na: navigace, hledání

Katedra: KTIML

Vyučoval predmety Výroková a predikátová logika, Logické programování I, Logické programování II, Automatické dokazování vět II, Lambda-kalkulus a funkcionální programování I a Lambda-kalkulus a funkcionální programování II.

Hovoril potichu a chraptěl, takže mu bylo ťažko rozumieť, a to i v prvních řadách.

Zemřel 11. července 2012 po dlouhé těžké nemoci.