Ovu stranicu je najbolje pregledavati u modernom internet pregledniku s omogućenim JavaScriptom.

[FVPP] Završni ispit - 2021/2022

Bucc

jel u ZI-u samo gradivo drugog ciklusa kak piše i u uvodnoj prezentaciji?


JoKing

Olive Oil Da

teoriju iz drugog dijela predavanja (teme: BDD, SAT-rješavači, SMT-rješavači, simboličko izvršavanje programa), uključujući rješavane zadatke i primjere vezane uz neka predavanja (za BDD-ove i SAT-rješavače).