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

  1. Vuković, Matematička logika, Element, 2009.

Dopunska literatura

  1. Cori, D. Lascar, Mathematical Logic: a Course with Exercies, Oxford University Press, 2000.
  2. Margaris, First Order Mathematical Logic, Dover Publications, 1990.
  3. 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.