P33LPD | Logika a logické programování | Rozsah výuky: | 2+2 | ||
---|---|---|---|---|---|
Přednášející (garant): | Štěpánková O. | Typ předmětu: | S | Zakončení: | Z,ZK |
Zodpovědná katedra: | 333 | Kreditů: | 4 | Semestr: | L |
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átu, 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í.
Literatura Č:
Literatura A:
|
Stránka vytvořena 14. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: I. Halaška (K336), J. Novák (K336) |