| Home |
| Selected publications |
| Pages for students |
| Personal |
Študentske strani
Predmet >> Teorija programskih jezikov, podiplomski študij RI (se od 2008/09 ne izvaja več)
Nosilec predmeta:
akad. prof. dr. Ivan Bratko
Asistent:
Podipl. predmeti nimajo asistentov
Vsebina predmeta:
Predmet obravnava nekatere vidike programskih jezikov. Obravnavani koncepti so prototipno implementirani kot logični programi.
- Uvod v logično programiranje in njegove matematične osnove
- Obravnavanje jezikov z gramatikami DCG (Definite Clause Grammars)
- Programiranje z omejitvami in CLP
- Meta programiranje
- Vzorčno vodeno-programiranje
PISNI IZPITNI ROK:
17. junij 2009 ob 18h v P2
Opomba: To je edina možnost za pisni izpit!
Sicer so izpiti ustni, prijavite se po el. pošti na bratko@fri.uni-lj.si
Literatura:
Večina snovi je pokrita v:
I. Bratko, Prolog Programming for Artificial Intelligence, 3rd edition, Pearson Education, 2001
(posebej pogl. 14, 21 in 23)
Glej tudi PowerPoint predstavitve predavanj, spodaj.