Opšta sekcija
Predmetni nastavnik: Tatjana Stojanović
Nastavni plan:
- Razvoj i značaj funkcijskih jezika
- Lambda račun
- Sintaksa i semnatika funkcijskih jezika
- Funkcije višeg reda
- Definisanje klasa i tipova,
- Monadi i funktori
- Osnovni pojnovi i razvoj logičkog programiranja
- Osnovne konstrukcije Prolog-a - činjenice i upiti
- Hornovske formule. Unifikacija. Zaključivanje
- Rekurzije. Ulančavanje unazad
Način polaganja ispita za školsku 2024/25
- Dolasci - 4 poena (zbog online nastave svi studenti će dobiti ove poene)
- Kolokvijumi - 23 + 23 poena
- Seminarski rad - 20 poena
- Završni ispit - 30 poena
Kolokvijumi će biti organizovani u istog dana jedan za drugim. Ove školske godine nije obavezno rešavati zadatak u programskom jeziku Scala
Student može izaći na završni ispit ako na kolokvijumima ima minimum po 9 poena, a na kolokvijumima i dolascima ukupno minimum 26 poena.