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:
- Upoznavanje s osnovama logičkog i funkcijskog programiranja.
- Stjecanje praktičnih vještina u logičkom programiranju (na primjeru jezika Prolog).
- Stjecanje praktičnih vještina u funkcijskom programiranju (na primjeru jezika Haskell)

NASTAVNI SADRŽAJI:
- 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