Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Logic in Computer Science (17.D0M06L)

Native organizations units: Department of Fundamentals Sciences

Type of studies	Title
Doctoral Academic Studies	Mathematics in Engineering (Godina: 1, Summer)
Doctoral Academic Studies	Mathematics in Engineering (Godina: 1, Summer)

General information:

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

Educational goal:

Acquiring fundamental knowledge in the field of mathematical logic and its application in computing as well as participating in scientific and research work. .

Educational outcome:

Knowledge about fundamental notions and results in the field of mathematical logic. Participating in the research in the particular area of logic, based on student`s interests and in cooperation with researchers in the country and abroad.

Course content:

Propositional calculus: axiomatic systems, natural deduction, sequent calculus. Predicate calculus. Proof theory. Godel`s incompleteness theorem. Modal logic. Temporal logics. Set theory.

Teaching methods:

The presentation of the theoretical part during the lecture classes is followed by the characteristic examples which contribute to better understanding of the subject matter. The students are expected to individually study the additional literature which they discuss with the . subject teacher at the consultation classes. Through research and study work the student will, on the bases of scientific journals and other literature, develop further understanding of the material covered in lectures. Working with the course teacher the student develops the ability to independently work on a scientific paper.

Literature:

Authors	Title	Year	Publisher	Language
Janičić, P.	Matematička logika u računarstvu	2009	Matematički fakultet, Beograd	English
A. Nerode, R. Shore	Logic for Application	1996	Springer-Verlag, Berlin	English
K.Došen, Z.Marković, Ž.Mijajlović	Hilbertovi problemi i logika	1986	Zavod za udžbenike i nastavna sredstva, Beograd	English
Michael Huth, Mark Ryan	Logic in Computer Science: Modelling and Reasoning about Systems	2004	Cambridge	English