[FVPP] O predmetu
Jale
Formalna verifikacija programske potpore
Svi stari osvrti na predmet (u FMOS dretvi) su točni. Dosadno i beskorisno gradivo.
Tri su zadaće, od toga za dvije za pripremu morate napisati rukom odgovore na pitanja i onda dolazite na labos pisati kratki ispit o sadržaju zadaće. Treća zadaća je implementacija SAT rješavača i nosi 20 bodova (i do 8 bonus bodova), super za skupiti bodove ali ima malo gnjavaže s implementacijom. Ne bi trebalo biti prekomplicirano, no mukotrpno je za debuggirati ako se negdje zezneš. Nakon odgovaranja asistent/profesor ukopcaju USB u vas laptop kako bi prebacili izvorni kod labosa na njega, jer zašto bi nešto moglo ići preko maila/moodlea/teamsa kad vam mogu jednostavno doci i zabiti u laptop USB koji je netom prije bio u 20 drugih laptopa 🙂.
Na ispitima se skupe neki bodovi na zadacima, teoriju je nemoguće naučiti jer, osim sto je neopisivo dosadna, prezentacije su lose. Postoje PDF-ovi s objasnjenjima zadataka i video auditorne na YT (sva predavanja su snimljena na YT isto), to je dobro barem.
Nije težak predmet, samo je jako dosadan i velika je tlaka učiti ga. Ne bih preporučio predmet nikome, osim kolegama s RZ-a koji traže najlakši prolaz u 2. semestru za jezgreni predmet profila (nez kakav je AVSP po težini, no to ima ograničenje na broj upisanih studenata) jer su vam alternative Duboko, IRG i Oblikovni (teži predmeti). Pretpostavljam da je jedini razlog što je ovaj kolegij uopće upisalo dovoljno studenata da se održi to što su ljudi s RZ-a htjeli izbjeci te teze predmete.
Težina: 4/10
Korisnost: 0/10
Preporuka: Ne, osim ako tražite najlaksi RZ jezgreni