Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2019/2020

Logika a logické programování

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah Jazyk výuky
XP33LPD ZK 4 2P+2S česky
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ů:
Platnost dat k 21. 9. 2019
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet11520604.html