Matematička logika Osnovne informacije M110 (2+2+0) - 6 ECTS bodova Upoznati studente s temeljnim pojmovima klasične matematičke logike, prvenstveno s propozicionalnom logikom i logikom prvog reda. Predstaviti semantiku ovih teorija, odgovarajuće formule i njihovu interpretaciju. Uvesti pojam dokaza i teorema te izvesti teoreme konzistentnosti i potpunosti. Ovladati primjenom pojmova matematičke logike pri rezimiranju u rješavanju matematičkih problema. Opisati istaknute primjere teorija prvog reda. Sadržaj kolegija možete dohvatiti na sljedećem linku: PDF Nastavnici Osnovna literatura Vuković, Matematička logika, Element, 2009. Dopunska literatura Cori, D. Lascar, Mathematical Logic: a Course with Exercies, Oxford University Press, 2000. Margaris, First Order Mathematical Logic, Dover Publications, 1990. Tourlakis, Lectures in Logic and Set Theory, Vol. I: Mathematical Logic, Cambridge University Press, 2003. 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.