The aim of the course is to provide introductory knowledge on selected topics in the field of distributed computer systems. Students will be introduced to state-of-the-art distributed system architectures with a special focus on the inter-process communications (IPC) in distributed computer systems. Students will learn and acquire a deeper understanding of the challenges and approaches in designing distributed computer systems and with the provided assignments they will be trained to developed practical skills for implementing client-server-based distributed applications using the current IPC technologies. 

To provide students in computer sciences with an basic knowledge of vectors and matrices and their application in the field of informatics. To learn the concepts and methods of linear algebra and how they can be applied in solving computational problems that arise in computer science. After passing the exam of this course the students should be able to perform standard operations on matrices, to solve and give interpretation of the solution of the system of linear equations, describe the main properties of finitely dimensional vector spaces and linear transformation and apply the method of linear algebra for modeling and solving problems in computer sciences.

Being competent to use formal models of computability as a basis for the theory and practice of program languages and compilers. To be competent to follow a higher course of theory of computation. Introduction to languages, regular and context-free languages, finite automata and push down automata, grammars and relationship between certain types of automata and languages