Logičko programiranje
Logical Programming
2015/2016
2015/2016
6 ECTSa
Organizacija poslovnih sustava 1.2 (OPS)
Informatika u obrazovanju 1.2 (IUO)
Informacijsko i programsko inženjerstvo 1.2 (IPI)
Baze podataka i baze znanja 1.2 (BPBZ)
Informatika u obrazovanju 1.2 (IUO)
Informacijsko i programsko inženjerstvo 1.2 (IPI)
Baze podataka i baze znanja 1.2 (BPBZ)
Katedra za teorijske i primijenjene osnove informacijskih znanosti
RI
1. semestar
Izvođenje kolegija
| Studij | Studijski program | Semestar | Obavezan |
|---|---|---|---|
| Organizacija poslovnih sustava 1.2 (OPS) | 3 | izborni | |
| Organizacija poslovnih sustava 1.2 (OPS) | 1 | izborni | |
| Informatika u obrazovanju 1.2 (IUO) | 3 | izborni | |
| Informatika u obrazovanju 1.2 (IUO) | 1 | izborni | |
| Informacijsko i programsko inženjerstvo 1.2 (IPI) | 3 | izborni | |
| Informacijsko i programsko inženjerstvo 1.2 (IPI) | 1 | izborni | |
| Baze podataka i baze znanja 1.2 (BPBZ) | 1 | obavezan |
Cilj kolegija
Cilj kolegija Logičko programiranje je upoznavanje studenata s idejom logičkog (i općenito deklarativnog) programiranja, njegovim teorijskim osnovama, logičkim programskim jezicima (na prvom mjestu s jezikom Prolog) i specifičnim alatima. Logičko programiranje zauzima sve važnije mjesto u cjelokupnom korpusu programiranja (bioinformatika - dešifriranje genetskog koda; sustavi planiranja – problem rasporeda i slični problemi, semantički Web – razvoj ontologija, sustavi poslovnih pravila, reverzno programsko inženjerstvo, itd.).
Preduvjeti
Kolegij nema definirane preduvjete
Norma kolegija
Predavanja
30 sati
Vježbe u praktikumu
30 sati