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).