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.
- Nastavnik: Sandra Lovrenčić
- Nastavnik: Vlatka Sekovanić
Uvod u formalne metode
Opcije upisa
Gosti nemaju pristup na ovaj e-kolegij, morate se prijaviti u sustav.