Logika a logické programování
Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
---|---|---|---|---|
XP33LPD | ZK | 4 | 2P+2S | česky |
- Garant předmětu:
- Přednášející:
- Cvičící:
- Předmět zajišťuje:
- katedra kybernetiky
- Anotace:
-
Logika a její použití v technickém prostředí. Formální systém a základní
požadavky na něj kladené-korektnost a úplnost. Syntax a sémantika, základní
definice, věta o kompaktnosti. Jazyk logiky 1. řádu. Teorie a její model,
Herbrandův model. Godelova věta o úplnosti. Herbrandova věta. Meze
dokazatelnosti. Logické programování a jazyk Prolog. Metodologie
programování v Prologu. Zavedení mimologických predikátů, metapredikáty.
Příklady řešení úloh typických pro Prolog. Nové trendy v rozvoji logického
programování-logické programování s omezujícími podmínkami (CLP) a
induktivní logické programování (ILP). Praktické aplikace metod logického
programování.
Výsledek studentské ankety předmětu je zde: http://www.fel.cvut.cz/anketa/aktualni/courses/XP33LPD
- Požadavky:
- Osnova přednášek:
- Osnova cvičení:
- Cíle studia:
- Studijní materiály:
-
Kolář, J., Štěpánková, O., Chytil, M.: Logika, algebra, grafy. SNTL Praha 1989 (kapitoly 2 a 3)
Smullyan R.: Navěky nerozhodnuto. Academia 2003
Tymoczko,T., Henle, J.: Sweet Reason: A Field Guide to Modern Logic. Springer 2000
Flach, 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
- Poznámka:
- Další informace:
- Pro tento předmět se rozvrh nepřipravuje
- Předmět je součástí následujících studijních plánů:
-
- Doktorské studium, prezenční forma (povinně volitelný předmět)
- Doktorské studium, kombinovaná forma (povinně volitelný předmět)
- Doktorské studium, strukturované prezenční (povinně volitelný předmět)
- Doktorské studium, strukturované kombinované (povinně volitelný předmět)