Deklarativno programiranje
Declarative Programming
2024/2025
2024/2025
6 ECTSa
Baze podataka i baze znanja 1.4 (BPBZ)
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.4 (BPBZ) | 1 | obavezan |
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