U410 Logické programování pro VT

Fakulta informatiky
léto 1996
Rozsah
0/0. 0 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
Garance
Kontaktní osoba: doc. RNDr. Lubomír Popelínský, Ph.D.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Osnova
  • Úvod do logiky: predikátová logika 1. řádu, syntaxe a sémantika, model, logický důsledek, normální formy.
  • Logické programování: Hornovy klauzule, substituce a unifikace, SLD-rezoluce.
  • Programovací jazyk Prolog.
  • Programování v Prologu, aplikace: programovací techniky, gramatiky definitních klauzulí, symbolické výpočty, znalostní systémy.
  • Výuka logického programování. Prolog jako první programovací jazyk. Výukový program LPTutor.
Předmět je zařazen také v obdobích léto 1997, léto 1998.