Subject: Desicion-making theory (17.DOM43Z )
Study programmes of the course:
| Type of studies | Title |
|---|---|
| Doctoral Academic Studies | Mathematics in Engineering (Year: 2, Semester: Winter) |
Gaining fundamental knowledge about computability theory.
Knowledge about basic notions and results in computability theory. The ability to apply the methods used in this theory in the research of student`s choice, working with scientists in the country and abroad.
Turing machines, partial recursive functions and other computability systems. Church` thesis. Computability. Recursively enumerable sets. Halting problems. Arithmetic hierarchy of (un)computable sets. Abstract State Machines and applications in specification and verification.
The presentation of the theoretical part is followed by the corresponding examples which contribute to better understanding of the theoretical part. The students are expected to individually study the additional literature and discuss it 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 |
|---|---|---|---|---|
| 1981 | English | |||
| Ž. Mijajlović, Z. Marković, K. Došen | Hilbertovi problemi i logika | 1986 | Zavod za udžbenike i nastavna sredstva | English |
| 1986 | English |
| Course activity | Pre-examination | Obligations | Number of points |
|---|---|---|---|
| Theoretical part of the exam | No | Yes | 50.00 |
| Term paper | Yes | Yes | 50.00 |
Faculty of Technical Sciences
© 2024. Faculty of Technical Sciences.
Contact:
Address: Trg Dositeja Obradovića 6, 21102 Novi Sad
© 2024. Faculty of Technical Sciences.