Mathematical Logic

Basic Information

M110 (2+2+0) - 6 ECTS credits

The course objective is to introduce the basic concepts of classical mathematical logic, primarily with propositional logic and the logic of the first order; to present the semantics of the theory, corresponding to formula and their interpretation; to introduce the concept of proof and theorems and derive theorems of consistency and completeness; to master the use of the concepts of mathematical logic in solving mathematical problems; to describe examples of the first order logic.

 

You can access the course content at the following link: PDF

Teachers

Basic literature

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

Additional literature

  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.

Teaching materials

The materials are available on the internal Teams channel of the course, through which all internal communication takes place. Students are required to register on the course’s Teams channel. The channel code for joining the course can be found in the schedule.