Pretraži

E-kolegije
Nastavnike

Filtriraj


Akademska godina


Izbornik

Naziv kolegija
Uvod u formalne metode

Vrsta studija
Preddiplomski sveučilišni
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
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.