Naziv kolegija
Uvod u formalne metode
Vrsta studija
Sveučilišni prijediplomski
ECTS bodova
0
Jezik kolegija
Hrvatski
Kolegij vidljiv
Da
Nositelji kolegija
Ime i prezime
Sandra Lovrenčić
Vlatka Sekovanić
Izvođači nastave
Ime i prezime
Sustav za e-učenje
Opis kolegija
Cilj predmeta Uvod u formalne metode je upoznavanje studenata s osnovnim metodama simboličke logike u primjeni na razvoj programske podrške, kako klasične, tako i suvremene.