Course detail
Basics of Discrete Mathematics
FSI-9MDM Acad. year: 2025/2026 Winter semester
The subject makes students acquainted with some basic methods of discrete mathematics employed in (not only technical) practice. The content can be divided into four areas. The first of them is logic, especially the propositional and predicate logic, and its applications in computer science. The second area is formed by the graph theory with an emphasis on the graph algorithms utilized for solving optimization problems of different kinds. The next area is algebra and its applications in the theory of formal languages and automata. The last area is represented by the fundamentals of coding theory, especially the linear codes are discussed.
Language of instruction
Czech
Supervisor
Department
Entry knowledge
Basic knowledge of mathematics on bachelor level are required.
Rules for evaluation and completion of the course
Students are to pass an exam consisting of the written and oral parts. During the exam, their knowledge of the concepts introduced and of the basic propertief of these concepts will be assessed. Also their ability to use theoretic results for solving concrete problems will be evaluated.
Since the subject is taught in the form of a lecture, which is not compulsory for student, the attendance will not be checked.
Aims
The goal of the subject is to make students acquainted with principal methods of discrete mathematics employed in technical applications. The knowledge of these methods will help students to understand their specializations more deeply and to utilize computers and programming when solving given problems.
Students will learn basic facts about logic, graph theory, automata theory, formal languages and coding theory. This will be useful for research in their specializations and for affective use of computers because they will better understand the principles computers work on.
The study programmes with the given course
Programme D-IME-P: Applied Mechanics, Doctoral, recommended course
Type of course unit
Lecture
20 hours, optionally
Syllabus
1. Propositional logic
2. Axiomatization of propositional logic
3. Predicate logic
4. Axiomatization of predicate logic
5. Directed and non-directed graphs
6. Graph algorithms
6. Nets and their applications
8. Groupoids and groups
9. Rings and fields
10.Formal languages
11.Automata
12.Introduction to coding theory
13.Linear codes