Petr Štěpánek: Porovnání verzí

Z ωικι.matfyz.cz
Přejít na: navigace, hledání
m (řazení)
(Pridaný zoznam vyučovaných predmetov)
Řádka 1: Řádka 1:
 +
Katedra: [[KTIML]]
 +
 +
Vyučuje 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]].
 +
 +
Hovorí potichu, takže je ťažko mu rozumieť.
 +
 +
* http://www.mff.cuni.cz/fakulta/struktura/lide/421.htm
 
* [http://kti.mff.cuni.cz/~stepanek/ homepage]
 
* [http://kti.mff.cuni.cz/~stepanek/ homepage]
* [http://ktiml.ms.mff.cuni.cz/vyuka/materialy.html prezentace] k přednášce [[AIL062|Výroková a predikátová logika]]
+
* [http://ktiml.ms.mff.cuni.cz/vyuka/materialy.html prezentace] k predmetom [[KTIML]]
  
 
[[Category:Vyučující|Stepanek, Petr]]
 
[[Category:Vyučující|Stepanek, Petr]]
 
[[Category:KTIML|Stepanek, Petr]]
 
[[Category:KTIML|Stepanek, Petr]]

Verze z 25. 1. 2009, 21:58

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ť.