Type of studies | Title |
---|---|
Doctoral Academic Studies | Mathematics in Engineering (Year: 2, Semester: Winter) |
Category | Scientific-professional |
Scientific or art field |
|
ECTS | 10 |
Acquiring fundamental knowledge about semantics of programming languages and participating in scientific and research work. .
Knowledge about fundamental notions and results in the field of semantics of programming languages. Research in the narrow area of semantics, based on student`s interests and in cooperation with researchers in the country and abroad.
Denotational semantics. Operational semantics. 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. 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.
Authors | Title | Year | Publisher | Language |
---|---|---|---|---|
1993 | English | |||
1999 | English |
Course activity | Pre-examination | Obligations | Number of points |
---|---|---|---|
Oral part of the exam | No | Yes | 50.00 |
Term paper | Yes | Yes | 50.00 |
Full Professor
Full Professor
© 2024. Faculty of Technical Sciences.
Address: Trg Dositeja Obradovića 6, 21102 Novi Sad
© 2024. Faculty of Technical Sciences.