Petr Štěpánek

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.

• [1]
• http://www.mff.cuni.cz/fakulta/struktura/lide/421.htm
• homepage
• prezentace k predmetom KTIML