Uvod u matematičku logiku

Osnovne informacije

M140 (2+2+0) - 6 ECTS bodova

Upoznati studente s osnovnim pojmovima, idejama i metodama matematičke logike, posebno klasične logike sudova i logike prvoga reda, te na taj način omogućiti studentima dublje razumijevanje osnova matematike.

Sadržaj kolegija možete dohvatiti na sljedećem linku: PDF

Nastavnici

 

Osnovna literatura

  1. E. Mendelson, Introduction to Mathematical Logic, CRC Press, Taylor & Francis Group, New York, 2015.
  2. M. Vuković, Matematička logika, Element, Zagreb, 2009.

Dopunska literatura

  1. A. G. Hamilton, Logic for Mathematicians, Cambridge University Press, 1995.
  2. J. Nolt, D. Rohatyn, A. Varzi, Logic, Schaum’s  Outline series, McGraw Hill, New York, 1998.

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.