Main page | Study Branches/Specializations | Groups of Courses | All Courses | Roles                Instructions

A course is the basic teaching unit, it's design as a medium for a student to acquire comprehensive knowledge and skills indispensable in the given field. A course guarantor is responsible for the factual content of the course.
For each course, there is a department responsible for the course organisation. A person responsible for timetabling for a given department sets a time schedule of teaching and for each class, s/he assigns an instructor and/or an examiner.
Expected time consumption of the course is expressed by a course attribute extent of teaching. For example, extent = 2 +2 indicates two teaching hours of lectures and two teaching hours of seminar (lab) per week.
At the end of each semester, the course instructor has to evaluate the extent to which a student has acquired the expected knowledge and skills. The type of this evaluation is indicated by the attribute completion. So, a course can be completed by just an assessment ('pouze zápočet'), by a graded assessment ('klasifikovaný zápočet'), or by just an examination ('pouze zkouška') or by an assessment and examination ('zápočet a zkouška') .
The difficulty of a given course is evaluated by the amount of ECTS credits.
The course is in session (cf. teaching is going on) during a semester. Each course is offered either in the winter ('zimní') or summer ('letní') semester of an academic year. Exceptionally, a course might be offered in both semesters.
The subject matter of a course is described in various texts.

BIK-ZDM Elements of Discrete Mathematics Extent of teaching: 13KP+4KC
Instructor: Pernecká E. Completion: Z,ZK
Department: 18105 Credits: 5 Semester: Z

Annotation:
Students get both a mathematical sound background, but also practical calculation skills in the area of combinatorics, value estimation and formula approximation, tools for solving recurrent equations, and basics of graph theory.

Lecture syllabus:
1. Sets, cardinality, countable sets, power set of a finite set and its cardinality. Power set of the set of natural numbers - uncountable set.
2. Exclusion and inclusion, its use to determine cardinality. "Pigeon-hole principle", number of structures, i.e., number of maps, relations, trees (on finite structures).
3. Function estimates (factorial, binomial coefficients, ...). Relation, equivalence relation (examples of equivalence of connected/strongly connected components).
4. Relation matrix, relational databases. Mathematical induction as a tool for determining the number of finite objects.
5. Mathematical induction as a tool for proving algorithm correctness. Mathematical induction as a tool for solving recursive problems.
6. Structural induction. Runtime complexity of recursive algorithms - solving recursive equations with constant coefficients, homogeneous equations.
7. Solving non-homogeneous recursive equations with constant coefficients.

Seminar syllabus:
1. Cardinality calculations. Countability, uncountability. Inclusion and exclusion principle. Numbers of structures over finite sets. Asymptotic function behavior.
2. Relations and directed graphs. Basic proofs by induction. Application of proofs by induction in combinatorics. Application of proofs by induction in programming. Induction and recursive algorithms.
3. Uses of induction in formal language theory. Runtime complexity calculations. Solving linear recurrent equations. Reserved.

Literature:
1. Johnsonbaugh, R. "Discrete Mathematics (4th Edition)". Prentice Hall, 1998. ISBN 0130805505.
2. Rosen, K. H. "Discrete Mathematics and its Applications". McGraw-Hill, 1998. ISBN 0072899050.
3. Cormen, T. H., Leiserson, C. E., Rivest, R. L. "Introduction to Algorithms". The MIT Press, 2001. ISBN 0262032937.

Requirements:
Students should have an adequate knowledge of basic notions of mathematics and mathematical logic as presented in previous subjects BIK-ZMA, BIK-MLO and BIK-LIN.

Informace o předmětu a výukové materiály naleznete na https://courses.fit.cvut.cz/BI-ZDM/
Rozsah=konzultace+seminae

The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester
BIK-SPOL.2015 Unspecified Branch/Specialisation of Study PP 3
BIK-BIT.2020 Computer Security and Information technology PP 3
BIK-WSI-SI.2015 Web and Software Engineering PP 3
BIK-BIT.2015 Computer Security and Information technology PP 3


Page updated 29. 3. 2024, semester: L/2021-2, Z,L/2023-4, Z/2021-2, Z/2020-1, Z/2019-20, L/2020-1, Z,L/2022-3, L/2019-20, Send comments to the content presented here to Administrator of study plans Design and implementation: J. Novák, I. Halaška