Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Algorithms and programming (17.ESI122)

Type of studies	Title
Master Academic Studies	Mathematics in Engineering (Year: 1, Semester: Winter)
Master Academic Studies	Power Software Engineering (Year: 1, Semester: Winter)

General information:

Category	Professional-applicative
Scientific or art field	Applied Computer Science and Informatics
ECTS	6

Acquisition of knowledge of contemporary theories of programming and related technologies. Students should 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 trained to analyze, study and solve real problems using the acquired knowledge.

Algorithms and data structures. Algorithms complexity. Combinatorial and graph algorithms. Cryptographic algorithms. 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. Differences between dominant paradigms. Imperative paradigm. Functional paradigm. Object-oriented paradigm. Technology and development tools to support modern computer programming paradigms.

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.	A Practical Theory of Programming	1993	Springer-Verlag, New York	English
Dijkstra, E.W.	A Discipline of Programming	1976	Prentice-Hall, Englewood Cliffs	English
Slonneger K., Kurtz B. L.	Formal syntax and semantics of programming languages: a laboratory based approach	1995	Addison-Wesley Publishing Company	English
Menezes, A.J., Van Oorschot, P.C., Vanstone, S.A	Handbook of Applied Cryptography	1997	CRC Press, New York	English
Weiss M.A.	Data Structures and Algorithm Analysis in C++	2013	Addison-Wesley	English
Weiss M.A.	Data Structures and Algorithm Analysis in C	1997	Addison-Wesley	English
McMillan M.	Data Structures and Algorithms Using C#	2008	Cambridge university press	English