Deklarativno programiranje
Declarative Programming
2021/2022
2021/2022
6 ECTSa
Baze podataka i baze znanja 1.3 (BPBZ)
Informacijsko i programsko inženjerstvo 1.3 (IPI)
Informatika u obrazovanju 1.3 (IUO)
Organizacija poslovnih sustava 1.3 (OPS)
Informacijsko i programsko inženjerstvo 1.3 (IPI)
Informatika u obrazovanju 1.3 (IUO)
Organizacija poslovnih sustava 1.3 (OPS)
Katedra za teorijske i primijenjene osnove informacijskih znanosti
RI
1. semestar
Izvođenje kolegija
| Studij | Studijski program | Semestar | Obavezan |
|---|---|---|---|
| Baze podataka i baze znanja 1.3 (BPBZ) | 1 | obavezan | |
| Informacijsko i programsko inženjerstvo 1.3 (IPI) | 1 | izborni | |
| Informacijsko i programsko inženjerstvo 1.3 (IPI) | 3 | izborni | |
| Informatika u obrazovanju 1.3 (IUO) | 1 | izborni | |
| Informatika u obrazovanju 1.3 (IUO) | 3 | izborni | |
| Organizacija poslovnih sustava 1.3 (OPS) | 1 | izborni | |
| Organizacija poslovnih sustava 1.3 (OPS) | 3 | izborni |
Cilj kolegija
Cilj predmeta Deklarativno programiranje je upoznavanje studenata s idejom deklarativnog programiranja, njegovim teorijskim osnovama, deklarativnim programskim jezicima i specifičnim alatima. Deklarativno programiranje zauzima važno mjesto u cjelokupnom korpusu programiranja, a temelji se na dva ključna formalizma: predikatnom računu (relacijske baze podataka, logičko programiranje) i lambda računu (funkcijsko programiranje).
Preduvjeti
Kolegij nema definirane preduvjete
Norma kolegija
Predavanja
30 sati
Vježbe u praktikumu
30 sati