Udžbenik

Udžbenici i ostali materijali su dostupni preko Google učionice.

Zadaci urađeni na vežbama 2016/2017. godine

Zadatke iz oblasti: pretrage prostora stanja, formalizacija i unifikacija, urađene na vežbama u letnjem semstru školske 2016/2017. godine možete preuzeti sa linka.

Zadaci urađeni na vežbama 2015/2016. godine

Zadatke iz oblasti: pretrage prostora stanja, formalizacija i unifikacija, urađene na vežbama u letnjem semstru školske 2015/2016. godine možete preuzeti sa linka.

Zadaci urađeni na vežbama 2014/2015. godine

Primeri zadataka urađenih na vežbama u školskoj 2014/2015. godini mogu se preuzeti sa sledećeg linka.

Konsultacije 2015

Materijal za spremanje ispitnih zadataka za studente koji su bili na konsultativnoj nastavi 9.5.2015. mogu se preuzeti sa sledećeg linka.

Prolog jezik, okruženje i primere jednostavnih programa možeet pruzeti sa sledećeg linka.

Materijal za spremanje ispitnih zadataka

Materijal sa rešenim ispitnim zadacima možete preuzeti sa sledećeg linka.

Zadaci sa vezbi iz 2013/2014.

Primeri zadataka urađenih na vežbama u školskoj 2013/2014. godini iz oblasti formalizacije rečenica na predikatskom računu I reda i pretrage prostora stanja mogu se preuzeti sa sledećeg linka.

Rešenja zadataka sa kolokvijuma od 16.5.2013.

Rešenja zadataka sa kolokvijuma održanog 16.5.2013., smer Inženjerski menadžment, mogu se preuzeti sa sledećeg linka.

Zadaci sa vežbi iz 2012/2013.

Rešeni zadaci iz pretraga prostora stanja, unifikacije i formalizacije rečenica sa vežbi iz 2012/2013. školske godine, smer Inženjerski menadžment, mogu se preuzeti sa sledećeg linka.

Zadaci iz Prologa i zaključivanja vođenog ciljem, sa rešenjima iz 2012/2013. školske godine, smer Inženjerski menadžment, mogu se preuzeti sa linka.

Download

Primer ispitnih zadataka

Primer teoretskog testa