Selected chapters in programming | Faculty of Technical Sciences

Subject: Selected chapters in programming (17.DRNI01)

Native organizations units: Sub-department for Applied Computer Science and Informatics

Type of studies	Title
Doctoral Academic Studies	Mechatronics (Year: 1, Semester: Winter)
Doctoral Academic Studies	Power, Electronic and Telecommunication Engineering (Year: 1, Semester: Winter)
Doctoral Academic Studies	Mathematics in Engineering (Year: 1, Semester: Winter)
Doctoral Academic Studies	Mathematics in Engineering (Year: 2, Semester: Winter)
Doctoral Academic Studies	Computing and Control Engineering (Year: 1, Semester: Winter)

General information:

Category	Scientific-professional
Scientific or art field	Applied Computer Science and Informatics
ECTS	10

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.

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.

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.

Lectures. Computer practice. Consultations. The student is obliged to independently do the project and write a seminar paper.

Authors	Title	Year	Publisher	Language
Hehner, E.C.R.	А Practical Theory of Programming	1993	Springer-Verlag, New York	English
Slonneger K., Kurtz B. L.	Formal syntax and semantics of programming languages: a laboratory based approach	1995	Addison-Wesley Publishing Company	English
Weiss M.A.	Data Structures and Algorithm Analysis in C++	2013	Addison-Wesley	English
McMillan M.	Data Structures and Algorithms Using C#	2008	Cambridge university press	English
Weiss M.A.	Data Structures and Algorithm Analysis in C	1997	Addison-Wesley	English
Dijkstra, E.W.	A Discipline of Programming	1976	Prentice-Hall, Englewood Cliffs	English