Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Computational Models (17.D0M11L)

Native organizations units: No data

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 theory of computation and participating in scientific and research work.

Educational outcome:

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

Course content:

Fundamantals of mathematical logic. Turing machines. Recursive functions. Lambda calculus without types: syntax and semantics. Lambda calculus with types: syntax and semantics.

Teaching methods:

The presentation of the theoretical part during the lectures 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 relevant literature that has been studied independently, 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
Barendrekt, H.P.	Lambda Calculus : Its Syntax and Semantics	1984	North-Holland, Amsterdam	English
Hankin, C.	Lambda Calculi : A Guide for Computer Scientists	1994	Oxford University Press, Oxford	English