Petr Štěpánek

From ωικι.matfyz.cz

Katedra: KTIML

Vyučuje 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.

Hovorí potichu, takže je ťažko mu rozumieť.

• http://www.mff.cuni.cz/fakulta/struktura/lide/421.htm
• homepage (http://kti.mff.cuni.cz/~stepanek/)
• prezentace (http://ktiml.ms.mff.cuni.cz/vyuka/materialy.html) k predmetom KTIML