Předmět Logika a logické programování (XP33LPD)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu XP33LPD - Logika a logické programování, Fakulta elektrotechnická, České vysoké učení technické v Praze (ČVUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Literatura
Kolář, J., Štěpánková, O., Chytil, M.: Logika, algebra, grafy. SNTL Praha 1989 (kapitoly 2 a 3)Smullyan R.: Navěky nerozhodnuto. Academia 2003Tymoczko,T., Henle, J.: Sweet Reason: A Field Guide to Modern Logic. Springer 2000Flach, P.: Simply Logical - Intelligent Reasoning by Example. John Wiley & Sons, Chichester 1994Štěpánková O., Csontó J.: Programovací prostředky v UI. kapitola 8 v Mařík et al. (eds): UI (2), Academia 1997
Garant
Olga Štěpánková
Vyučující
Olga Štěpánková