#### Faculty of Technical Sciences

Subject: Mathematical Logic (17 - IFE230)

Basic Information

 Category Scientific-professional Scientific or art field: Teorijska i primenjena matematika Interdisciplinary yes ECTS 5
Native organizations units

 Department of Fundamentals Sciences Chair of Mathematics
Course specification

Course is active from 01.10.2005..

Precondition courses

Course idMandatoryMandatory
AlgebraYesYes

Course which have preconditioned courses Mathematical Logic

Course idMandatoryMandatory
Databases 1YesYes
Methods and Techniques in Data ScienceYesYes
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
Janičić, P.Matematička logika u računarstvu2007Matematički fakultet, BeogradSerbian 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

Lectures

Lectures

#### Prokić SimonaAssistant - Master

Practical classes