Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Introduction to Semantics of Programming Languages (17.0M506)

Native organizations units: Department of Fundamentals Sciences

Type of studies	Title
Master Academic Studies	Information Engineering (Godina: 1, Winter)
Master Academic Studies	Information and Analytics Engineering (Godina: 1, Winter)
Master Academic Studies	Information and Analytics Engineering (Godina: 1, Winter)
Master Academic Studies	Mathematics in Engineering (Godina: 2, Winter)
Master Academic Studies	Information and Analytics Engineering (Godina: 1, Winter)

General information:

Category	Professional-applicative
Scientific or art field	Teorijska i primenjena matematika
Interdisciplinary	Yes
ECTS	6

Educational goal:

Acquiring fundamental knowledge about semantics of programming languages and participating in scientific and research work.

Educational outcome:

Knowledge of basic concepts and results from the semantics of programming languages. Engaging in research in the specific field of semantics, as chosen by the student, in collaboration with scientists from home and abroad.

Course content:

Basic set theory: logical notations, sets, relations and functions. Fundamentals of lambda calculus without types. Fundamentals of lambda calculus with types. Introduction to operational semantics: evaluation of arithmetic expressions, evaluation of Boolean expresions, execution of commands. Inductive definitions. Introduction to denotational and axiomatic semantics.

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.

Literature:

Authors	Title	Year	Publisher	Language
R. Amadio, P.-L. Curien	Domains of Lambda Calculi	1999	Cambridge University Press	English
H.P. Barendregt: Lambda Calculus:	Its Syntax and Semantics	1984	North-Holland,	English
Winskel, G.	The Formal Semantics of Programming Languages	1993	MIT Press, Boston	English
Barendregt, H.P., Dekkers, W., Statman, R.	Lambda Calculi with Types	2013	Cambridge University Press, Cambridge	English