Subject: Mathematical Logic (14 - IFE230)


Basic Information

CategoryScientific-professional
Scientific or art field:Matematička logika
InterdisciplinaryNo
ECTS6
Native organizations units

Department of Fundamentals Sciences
Course specification

Course is active from 01.10.2005..

Enabling students to develop abstract and formal thinking and to acquire basic knowledge in the field of mathematical logic with application in computer science.
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.
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.
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.
AuthorsNameYearPublisherLanguage
Kosta DošenOsnovna logika2013Matematički institut SANUSerbian language
P. JaničićMatematička logika u raunarstvu2007Serbian language
Zoran Ognjanović, Silvia GilezanUvod u teorijsko računarstvo2014FTNSerbian language
Lawrence PaulsonLogic and Proof, course notes2014onlineEnglish
Michael Huth, Mark RyanLogic in Computer Science: Modelling and Reasoning about Systems2012Cambridge University PressEnglish
Course activity Pre-examination ObligationsNumber of points
TestYesYes20.00
HomeworkYesYes10.00
Written part of the exam - tasks and theoryNoYes70.00
Name and surnameForm of classes
Missing picture!

Gilezan Silvia
Full Professor

Lectures
Missing picture!

Pantović Jovanka
Full Professor

Lectures
Missing picture!

Ivetić Jelena
Assistant Professor

Lectures
Missing picture!

Carić Biljana
Assistant Professor

Practical classes
Missing picture!

Lukić Tibor
Associate Professor

Practical classes