Formalne metode u oblikovanju sustava
Predmet sam po sebi nije težak za proć, ali je dosadan za naučit.
Uče se osnovni postupci provjere modela uz pomoć nekih zastarjelih alata i algoritama. Ove je godine bilo malo lakse jer nije bilo provjere labosa/zadaće na faksu, već je trebalo samo predati riješenu dz na moodle. Za neki easy prolaz, mislim da je jako korisno i pametno proć sve ZZV-ove + prezentacije (za razumijevanje zadataka) i teoriju. Na ispitu se ponavljaju slični tipovi zadataka ko sa ZZVova.
Suma sumarum - dosadan predmet, ali je easy za položit.
Težina: 5 / 10 ( čisto zbog samodiscipline koja je potreba da kreneš učit tolko dosadno gradivo 😃 )
Korisnost: 2 / 10
Bih li preporučio/la predmet: Da i ne. Da, jer mi nije ostavio tolko gorak okus u ustima, bez obzira na dosadnocu gradiva,a i nema toliko posla tokom semestra. Ne, jer mislim da ako si PI, da ti bi RIS bio puno pametniji izbor jer ces cak nekaj kolko tolko korisno naucit.
