Katedra: [[KTIML]]
Vyučoval predmety [[AIL062|Výroková a predikátová logika]], [[AIL076|Logické programování I]], [[AIL077|Logické programování II]], [[AIL067|Automatické dokazování vět II]], [[AIL078|Lambda-kalkulus a funkcionální programování I]] a [[AIL079 | 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.
* [http://cs.wikipedia.org/wiki/Petr_%C5%A0t%C4%9Bp%C3%A1nek_%28matematik%29]
* http://www.mff.cuni.cz/fakulta/struktura/lide/421.htm
* [http://kti.mff.cuni.cz/~stepanek/ homepage]
* [http://ktiml.ms.mff.cuni.cz/vyuka/materialy.html prezentace] k predmetom [[KTIML]]
[[Category:Vyučující|Stepanek, Petr]]
[[Category:KTIML|Stepanek, Petr]]
