Matematička logika u računalnoj znanosti Osnovne informacije M088 (2+2+0) - 6 ECTS bodova Matematička logika u računalnoj znanosti izvodi se u ljetnom semestru prve godine sveučilišnog preddiplomskog studija Matematika i računarstvo. Cilj kolegija je studente upoznati s osnovnim pojmovima matematičke logike i stjecanje znanja potrebnog za automatizirano dokazivanje teorema i verifikaciju programa te ovladati tehnikama potrebnim za korištenje proof asistanta COQ. Sadržaj kolegija možete dohvatiti na sljedećem linku: PDF Nastavnici Nastavnik: izv. prof. dr. sc. Zoran Tomljanović Suradnik: dr. sc. Luka Borozan Osnovna literatura Skripta i popratni kodovi. Introduction to computational logic. Dopunska literatura Materijali Materijali su dostupni na internom Teams kanalu kolegija pomoću kojeg se odvija i sva interna komunikacija. Studenti su obvezni registrirati se na Teams kanal kolegija. Šifra kanala kolegija pomoću kojeg se možete pridružiti kolegiju nalazi se u rasporedu.