Subject: Selected chapters in programming (17.DRNI01 )
Native organizations units: Sub-department for Applied Computer Science and Informatics
Study programmes of the course:
| Type of studies | Title |
|---|---|
| Doctoral Academic Studies | Computing and Control Engineering (Godina: 1, Winter) |
| Doctoral Academic Studies | Mathematics in Engineering (Godina: 1, Winter) |
| Doctoral Academic Studies | Power, Electronic and Telecommunication Engineering (Godina: 1, Winter) |
| Doctoral Academic Studies | Mathematics in Engineering (Godina: 2, Winter) |
| Doctoral Academic Studies | Mechatronics (Godina: 1, Winter) |
Educational goal:
Acquisition of deep knowledge of contemporary theories of programming and related technologies. The student should build an independent scientific viewpoint in this field and apply acquired knowledge in anaysis, study and solving real problems.
Educational outcome:
Understanding modern theory of programming and training for the application of acquired knowledge in the development of software systems. The student is able to creatively apply acquired knowledge in analyzing, studying and solving real problems.
Course content:
Algorithms and data structures. Selected programming paradigms. Modern theory of programming. Syntax of the programming language. Semantics of the programming language (operational, denotation, and axiomatic semantics). Termination. Deterministic and non-deterministic programs. The weakest precondition. The strongest postcondition. Invariant. Program specification. Verification and validation. Technology and development tools to support modern computer programming paradigms. Part of the teaching on the subject is done through independent research and study work in the field of computer programming. Research and study work includes active monitoring of primary scientific sources, possibly writing a paper on computer programming.
Teaching methods:
Lectures. Computer practice. Consultations. The student is obliged to independently do the project and write a seminar paper.
Literature:
| Authors | Title | Year | Publisher | Language |
|---|---|---|---|---|
| 2013 | English | |||
| 1976 | English | |||
| 1995 | English | |||
| 1997 | English | |||
| 1993 | English | |||
| 2008 | English |
Knowledge evaluation:
| Course activity | Pre-examination | Obligations | Number of points |
|---|---|---|---|
| Theoretical part of the exam | No | Yes | 30.00 |
| Term paper | Yes | Yes | 20.00 |
| Project | Yes | Yes | 50.00 |
Lecturers:
prof. dr Kupusinac Aleksandar
Full Professor
Lectures
prof. dr Ivetić Dragan
Full Professor
Lectures
doc. dr Čeliković Milan
Assistant - Master
Lectures
prof. dr Popov Srđan
Full Professor
Lectures
vanr. prof. dr Gajić Dušan
Associate Professor
Lectures
Faculty of Technical Sciences
© 2024. Faculty of Technical Sciences.
Contact:
Address: Trg Dositeja Obradovića 6, 21102 Novi Sad
© 2024. Faculty of Technical Sciences.