Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Mathematical Logic (17.IFE230)

Native organizations units: Department of Fundamentals Sciences, Chair of Mathematics

Type of studies	Title
Undergraduate Academic Studies	Information Engineering (Godina: 2, Summer)

General information:

Category	Scientific-professional
Scientific or art field	Teorijska i primenjena matematika
Interdisciplinary	Yes
ECTS	5

Educational goal:

Enabling students to develop abstract and formal thinking and to acquire basic knowledge in the field of mathematical logic with application in computer science.

Educational outcome:

Acquiring knowledge related to basic notions and results in the field of mathematical logic. Ability to use the acquired knowledge and skills in further education and practice.

Course content:

1) Basic notions of the syntax of logical systems. 2) Classical logic. Intuitionistic logic. Propositional calculus. 3) Axiomatic system, natural deduction, sequent calculus. 4) Basic notions of the syntax of predicate calculus. 5) Basic notions of the semantics of logical systems. DPLL procedure, the tableaux method, the resolution method. 6) Computational interpretation of logic: lambda calculus and the theory of combinators. Untyped and simply-typed calculus. Curry-Howard correspondence (formulae-as-types, proofs-as-terms) between logical systems, the lambda calculus and the theory of combinators.

Teaching methods:

The theoretical part of the course is taught in lectures followed by typical examples for better understanding. Exercises, which accompanies lectures, provide typical problems and their solutions which will deepen the knowledge from the lectures. Besides lectures and exercises, consultations with professors are held on a regular basis.

Literature:

Authors	Title	Year	Publisher	Language
Kosta Došen	Osnovna logika	2013	Matematički institut SANU	Serbian language
Zoran Ognjanović, Silvia Gilezan	Uvod u teorijsko računarstvo	2014	FTN	Serbian language
Janičić, P.	Matematička logika u računarstvu	2007	Matematički fakultet, Beograd	Serbian language
Michael Huth, Mark Ryan	Logic in Computer Science: Modelling and Reasoning about Systems	2012	Cambridge University Press	English
Lawrence Paulson	Logic and Proof, course notes	2014	online	English