Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
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:

Plán Obor Role Dop. semestr
DOKK Elektrotechnika a informatika S Není
DOKP Elektrotechnika a informatika S Není


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)