Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Computational Models (17.D0M11L)

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

General information:

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

Acquiring fundamental knowledge in the field theory of computation and participating in scientific and research work.

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.

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

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.

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