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.

BIE-DML.21 Discrete Mathematics and Logic Extent of teaching: 2P+1R+1C
Instructor: Pernecká E., Rybníčková J. Completion: Z,ZK
Department: 18105 Credits: 5 Semester: Z

Annotation:
Students will get acquainted with the basic concepts of propositional logic and predicate logic and learn to work with their laws. Necessary concepts from set theory will be explained. Special attention is paid to relations, their general properties, and their types, especially functional relations, equivalences, and partial orders. The course also lays down the basics of combinatorics and number theory, with emphasis on modular arithmetics.

Lecture syllabus:
1. Propositional logic. Formulas. Truth tables. Logical equivalence. Basic laws.
2. Disjunctive and conjunctive normal forms. Full forms. Logical consequence.
3. Predicate logic. Formalization of language.
4. Sets and functions. Basic number sets. Cardinalities of sets.
5. Types of mathematical proofs. Mathematical induction.
6. Binary relations (properties, representations). Composition of relations.
7. Equivalence and ordering.
8. Combinatorics and its basic principles.
9. Classical definition of probability. k-combinations with repetition, permutations with repetition, Stirling numbers, properties of binomial coefficients.
10. Fundamentals of number theory, modular arithmetic.
11. Properties of prime numbers, Fundamental theorem of arithmetic.
12. Diophantine equations, linear congruences, Chinese remainder theorem.

Seminar syllabus:
1. Introduction to mathematical logics.
2. Formulas, truth tables. Tautology, contradiction, satisfiability; consequence and equivalence.
3. Universal systems of connectives. Disjunctive and conjunctive normal forms, minimalization.
4. Syntax of predicate logic. Language, terms, formulas. Formalization of language.
5. Sets and maps
6. Types of mathematical proofs. Mathematical induction.
7. Binary relation (properties, representation), composition of relations.
8. Equivalence and order.
9. Application of combinatorial principles.
10. Advanced combinatorial problems, probability,
11. Divisibility. Diophantine equations solution.
12. Solution of linear congruences and their systems.

Literature:
1. Mendelson E.: Introduction to Mathematical Logic (6th Edition); Chapman and Hall 2015; ISBN 978-1482237726
2. Chartrand G., Zhang P.: Discrete Mathematics; Waveland;2011; ISBN 978-1577667308
3. Graham R. L., Knuth D. E., Patashnik O.: Concrete Mathematics: A Foundation for Computer Science (2nd Edition); Addison-Wesley Professional; 1994; ISBN 978-0201558029
4. Trlifajová K., Vašata D.: Matematická logika; ČVUT2017; ISBN 978-80-01-05342-3
5. Nešetřil J., Matoušek J.: Kapitoly z diskrétní matematiky; Karolinum2007; ISBN 978-80-246-1411-3

Requirements:
None.

The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester
BIE-PI.21 Computer Engineering 2021 PP 1
BIE-PV.21 Computer Systems and Virtualization 2021 PP 1
BIE-PS.21 Computer Networks and Internet 2021 PP 1
BIE-TI.21 Computer Science 2021 PP 1
BIE-SI.21 Software Engineering 2021 PP 1
BIE-IB.21 Information Security 2021 (Bachelor in English) PP 1


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