Students will get to know programming concepts commom to different programming languages, which will facilitate further learning of new languages. They will consolidate their knowledge of object-oriented programming paradigm and be introduced to functional programming. They will also gain practical knowledge of programming in a variety of programming languages.

1. distinguish between different programming paradigms
2. choose an adequate programming paradigm in solving specific software engineering problems
3. apply at least one language from imperative, object-oriented and declarative paradigm
4. classify programming languages according to the paradigms they belong to
5. recognize the concepts of same kind from different programming languages and paradigms
6. employ adequate naming and code organization conventions

Course lectures through 13 weeks.

The knowledge will be tested with a mid-term exam and a final exam. During the semester, homeworks will be assigned.

In the laboratory excercises students will work on their own programming solutions and demonstrate their correctness.

During the lectures, the work in various programming languages will be demonstrated to students in an interactive manner.

Demonstration exercises will demonstrate the use of technology to complete the laboratory exercises and to illustrate real practical use.

During the consultation hours the students will be able to supplement their knowledge on all course topics.

1. Abstract machines. Interpreters. Compilers. Expressiveness of programming languages.
2. Names and environments. Blocks. Static and dynamic scope. Static and dynamic memory management. Scope rules implementation.
3. Control structures. Structured programming. Tail recursion.
4. Procedures. Higher-order functions. Exceptions.
5. Data types. Static and dynamic type checking. Complex types. Type equivalence. Polymorphism. Type inference. Dangling references. Garbage collectors. Abstract data types. Information hiding. Modules.
6. Demonstration lecture: writing program code.
7. Exam preparation hours.
8. Exams.
9. Exams.
10. The object-oriented programming paradigm. Dynamic method lookup. Single and multiple inheritance. Dynamic method dispatch. Polymorphism in object-oriented programming paradigm. Generics. Covariant and contravariant overloading.
11. Demonstration lecture: application development in an object-oriented programming language.
12. The functional paradigm. Computations without state. Evaluation strategies. Pattern matching. The basics of lambda calculus.
13. Demonstration lecture: programming in a functional programming language.
14. Logic paradigm. Deduction as computation. Theory of unification. Logic programming with constraints.
15. Paralellism. Historical overview of programming languages and paradigms.