Subject: Introduction to Semantics of Programming Languages (17.0M506 )
Native organizations units: Department of Fundamentals Sciences
Study programmes of the course:
| Type of studies | Title |
|---|---|
| Master Academic Studies | Information and Analytics Engineering (Year: 1, Semester: Winter) |
| Master Academic Studies | Mathematics in Engineering (Year: 2, Semester: Winter) |
| Master Academic Studies | Information Engineering (Year: 1, Semester: Winter) |
Acquiring fundamental knowledge about semantics of programming languages and participating in scientific and research work.
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.
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.
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.
| Authors | Title | Year | Publisher | Language |
|---|---|---|---|---|
| 1984 | English | |||
| 2013 | English | |||
| 1999 | English | |||
| 1993 | English |
| Course activity | Pre-examination | Obligations | Number of points |
|---|---|---|---|
| Lecture attendance | Yes | Yes | 3.00 |
| Oral part of the exam | No | Yes | 50.00 |
| Exercise attendance | Yes | Yes | 2.00 |
| Term paper | Yes | Yes | 45.00 |
Assoc. Prof. Jelena Ivetić
Associate Professor
Lectures
Assistant - Master Irena Prodanović
Assistant - Master
Practical classes
Faculty of Technical Sciences
© 2024. Faculty of Technical Sciences.
Contact:
Address: Trg Dositeja Obradovića 6, 21102 Novi Sad
© 2024. Faculty of Technical Sciences.