The course unit credit is awarded on condition of having attended the seminars actively and passed a written test. The exam has a written and an oral part. The written part tests student's ability to deal with various problems using the knowledge and skills acquired in the course. In the oral part, the student has ro prove that he or she has mastered the related theory.

The course aims to acquaint the students with some usual methods of discrete mathematics used in various applications, especially in computer science for construction and process description of computers and for data transmission. The students will get a proof that, beside the continuous mathematics, also discrete mathematics is a basic discipline whose knowledge is a necessary condition for a successful creative work of an engineer.

The students will learn about the fundamentals of ordered sets, lattices and Boolean algebras. They will learn to minimize Boolean functions and realize them by logic circuits. They will also get acquainted with the most usual types of automata and their properties, with regular languages and with the problem of determinism. Finally, thay will also get an image of the basic problems connected with coding and decoding of messages..

• Programme B-MAI-P Bachelor's, 2. year of study, winter semester, compulsory