E-course title
Uvod u formalne metode
Study programme
Undergraduate university studies
ECTS
0
E-course language
Croatian
The course is visible
Yes
Professor
Full name
Sandra Lovrenčić
Vlatka Sekovanić
Assistent
Full name
E-larning platform
Course description
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.