Opšta sekcija
Predmetni nastavnik: Tatjana Stojanović
Predmetni asistent: Tomislav Manojlović
Nastavni plan:
- Osnovni pojnovi i razvoj logičkog programiranja
- Osnovne konstrukcije Prolog-a - činjenice i upiti
- Hornovske formule. Unifikacija. Zaključivanje
- Rekurzije. Ulančavanje unazad
- 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
Način polaganja ispita za školsku 2025/26
- Dolasci - 4 poena
- Kolokvijumi - 23 + 23 poena
- Seminarski rad - 20 poena
- Završni ispit - 30 poena
Na drugom kolokvijumu je obavezno da se bar jedan zadatak reši 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.
Izrada seminarskog je obavezna i radovi se brane u terminu ispita nezavsino od izrade testa.
Na testu student mora da ostvari minimum 10 poena.