1. komponenta

Vrsta nastave	Ukupno
Predavanja	45

* Opterećenje je izraženo u školskim satima (1 školski sat = 45 minuta)

CILJ KOLEGIJA:
Studente osposobiti za:
- Razumjeti i znati iskoristiti prednosti logičke i funkcijske programske paradigme nad imperativnom paradigmom.
- Programiranje u logičkom programskom jeziku Prolog.
- Programiranje u funkcijskom programskom jeziku Haskell.

NASTAVNI SADRŽAJI:
- Logika sudova. Simboli i formule. Reprezentacija formule nizom znakova. Interpretacije. Ekvivalencija i supstitucija.
- Normalne forme. Tablice istinitosti. Klazule. Konjunktivna normalna forma. Cejtinov algoritam. Izrazivost veznika.
- Rezolucija. Problem SAT. Algoritam DPLL. Rezolucija. Potpunost algoritma rezolucije.
- Prolog. Činjenice, pravila i upiti. Unifikacija i traženje dokaza. Rekurzija. Liste. Aritmetika. Gramatike u Prologu. Termi. Rez i negacija. Manipulacija bazama podataka i sakupljanje rješenja. Rad s datotekama.
- Haskell. Uvod u Haskell. Tipovi i klase tipova. Sintaksa u funkcijama. Rekurzija. Funkcije višeg reda. Moduli. Korisnički tipovi i klase tipova. Ulaz i izlaz. Funkcijsko rješavanje problema. Funktori, aplikativni funktori i monoidi. Monade. Zatvarači.

1. Learn Prolog Now!, Patrick Blackburn, Johan Bos, and Kristina Striegnitz, Texts in Computer Science (Volume 7), College Publications, 2006.
2. Learn You a Haskell For Great Good! A Beginner's Guide, Miran Lipovača, No Starch Press, 2011.
3. Matematička logika u računarstvu, skripta, Vedran Čačić, 2024.

Ostali izborni predmeti - Redovni Studij - Računarstvo i matematika

Ostali izborni predmeti - Redovni Studij - Računarstvo i matematika

Izborni predmet 3, 4, 5, 6 - Redovni Studij - Računarstvo i matematika

Izborni predmet 3, 4, 5, 6 - Redovni Studij - Računarstvo i matematika