IDM Acad. year 2022/2023 Winter semester 4 credits
Sets, relations and mappings. Equivalences and partitions. Posets. Structures with one and two operations. Lattices and Boolean algebras. Propositional and predicate calculus. Elementary notions of graph theory. Connectedness. Subgraphs and morphisms of graphs. Planarity. Trees and their properties. Basic graph algorithms. Directed graphs.
Language of instruction
- 26 hrs lectures
- 26 hrs exercises
- 80 pts final exam
- 20 pts numeric exercises
Hliněná Dana, doc. RNDr., Ph.D. (UMAT)
Tůma Martin, Mgr., Ph.D. (UMAT)
Course Web Pages
Subject specific learning outcomes and competences
The students will acquire basic knowledge of discrete mathematics and the ability to understand the logical structure of a mathematical text. They will be able to explain mathematical structures and to formulate their own mathematical propositions and their proofs.
This course provides basic knowledge of mathematics necessary for a number of following courses. The students will learn elementary knowledge of algebra and discrete mathematics, with an emphasis on mathematical structures that are needed for later applications in computer science.
Why is the course taught
Mathematics stood at the birth of computer science and since then it has always been in the core of almost all of its progress.
Discrete mathematics aims at understanding the aspects of the real world that are the most fundamental from the point of view of computer science. It studies such concepts as a set (e.g. a collection of data, resources, agents), relations and graphs (e.g. relationships among data or description of a communication), and operations over elements of a set (especially basic arithmetical operations and their generalization). The mathematical logic then gives means of expressing ideas and reasoning clearly and correctly and is, moreover, the foundation of "thinking of computers".
Generally speaking, discrete mathematics teaches the art of abstraction - how to apprehend the important aspects of a problem and work with them. It provides a common language for talking about those aspects precisely and effectively. Besides communication of ideas, it helps to structure thought into exactly defined notions and relationships, which is necessary when designing systems so large and complex as today's software and hardware.
For example, discrete math gives the basic tools for expressing what a program does; what its data structures represent; how the amount of needed resources depends on the size of the input; how to specify and argue that a program does what it should do. Similarly essential uses can be found everywhere in computer science. One could say that a programmer without mathematics is similar to a piano player who cannot read notes: if he is talented, he can still succeed, but his options are limited, especially when it comes to solving complex problems.
In order to teach mathematical thinking to students, we emphasize practising mathematics by using it to solve problems - in the same way as programming can be only learnt through programming, mathematics also can be learnt only by doing it.
Prerequisite knowledge and skills
Secondary school mathematics.
Syllabus of lectures
- The formal language of mathematics. Basic formalisms - statements, proofs, propositional and predicate logic.
- Intuitive set concepts. Basic set operations. Cardinality. Sets of numbers. The principle of inclusion and exclusion.
- Proof techniques.
- Binary relations, their properties and composition.
- Reflective, symmetric, and transitive closure. Equivalences and partitions.
- Partially ordered sets, lattices. Hasse diagrams. Mappings.
- Basic concepts of graph theory. Graph Isomorphism, trees, trails, tours, and Eulerian graphs.
- Finding the shortest path, Dijkstra's algorithm. Minimum spanning tree problem. Kruskal's and Jarnik's algorithms. Planar graphs.
- Directed graphs.
- Binary operations and their properties.
- Algebras with one operation, groups.
- Congruences and morphisms.
- Algebras with two operations, lattices as algebras. Boolean algebras.
Syllabus of numerical exercises
Examples at tutorials are chosen to complement suitably the lectures.
Five written tests (max 20 points).
- The knowledge of students is tested at exercises at five written tests for 4 points each and at the final exam for 80 points.
- If a student can substantiate serious reasons for an absence from an exercise, (s)he can attend the exercise with a different group (please inform the teacher about that).
- Passing boundary for ECTS assessment: 50 points.
Minimal total score of 8 points out of five written tests.
|Mon||exercise||2., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||G202||09:00||10:50||61||1BIA 1BIB 2BIA 2BIB||xx||Tůma|
|Mon||exam||2023-01-16||Aula profesora Kalendovského T8/T 0.10 T8/T 0.20 T8/T 0.30||12:00||14:00||2. termín|
|Mon||exercise||2., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||D0207||14:00||15:50||57||1BIA 1BIB 2BIA 2BIB||xx||Fuchs|
|Mon||exercise||2., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||T8/T 3.02||15:00||16:50||55||1BIA 1BIB 2BIA 2BIB||xx||Tůma|
|Mon||exercise||2., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||D0207||16:00||17:50||61||1BIA 1BIB 2BIA 2BIB||xx||Fuchs|
|Mon||exercise||2., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||T8/T 3.02||17:00||18:50||56||1BIA 1BIB 2BIA 2BIB||xx||Tůma|
|Tue||lecture||lectures||D0206 D105||08:00||09:50||450||1BIB 2BIA 2BIB||xx 30 - 49||Hliněná|
|Tue||exercise||2., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||G202||09:00||10:50||62||1BIA 1BIB 2BIA 2BIB||xx||Tůma|
|Tue||exercise||2., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||G202||11:00||12:50||60||1BIA 1BIB 2BIA 2BIB||xx||Tůma|
|Tue||lecture||lectures||D0206 D105||12:00||13:50||450||1BIA 2BIA 2BIB||xx 10 - 29||Hliněná|
|Tue||exercise||2., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||G202||13:00||14:50||60||1BIA 1BIB 2BIA 2BIB||xx||Tůma|
|Wed||exercise||1., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||T8/T 3.22||09:00||10:50||55||1BIA 1BIB 2BIA 2BIB||xx||Tůma|
|Wed||exercise||1., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||T8/T 3.22||11:00||12:50||55||1BIA 1BIB 2BIA 2BIB||xx||Tůma|
|Wed||exam||2023-01-25||T8/T 0.10||12:00||14:00||3. termín|
|Wed||exercise||1., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||D0207||14:00||15:50||65||1BIA 1BIB 2BIA 2BIB||xx||Hliněná|
|Wed||exercise||1., 3., 4., 5., 6., 7., 8., 9., 10., 11., 12., 13. of lectures||D0207||16:00||17:50||62||1BIA 1BIB 2BIA 2BIB||xx||Hliněná|
|Thu||exercise||1., 2., 3., 4., 5., 6., 7., 8., 10., 11., 12., 13. of lectures||A113||10:00||11:50||62||1BIA 1BIB 2BIA 2BIB||xx||Hliněná|
|Thu||exercise||1., 2., 3., 4., 5., 6., 7., 8., 10., 11., 12., 13. of lectures||T8/T 5.22||13:00||14:50||48||1BIA 1BIB 2BIA 2BIB||xx||Fuchs|
|Fri||exam||2023-01-06||Aula profesora Kalendovského D105 T8/T 0.10 T8/T 0.20 T8/T 0.30||12:00||14:00||1. termín|
|Fri||exam||2022-12-16||D0206 D0207 E112||16:00||18:00||předtermín|
Course inclusion in study plans
- Programme BIT, 1st year of study, Compulsory
- Programme BIT (in English), 1st year of study, Compulsory
- Programme IT-BC-3, field BIT, 1st year of study, Compulsory