Discrete Mathematics and Logic
Code  Completion  Credits  Range  Language 

BIEDML.21  Z,ZK  5  2P+1R+1C  English 
 Relations:
 It is not possible to register for the course BIEDML.21 if the student is concurrently registered for or has already completed the course BIEMLO (mutually exclusive courses).
 It is not possible to register for the course BIEDML.21 if the student is concurrently registered for or has already completed the course BIEZDM (mutually exclusive courses).
 It is not possible to register for the course BIEDML.21 if the student is concurrently registered for or has previously completed the course BIEMLO (mutually exclusive courses).
 It is not possible to register for the course BIEDML.21 if the student is concurrently registered for or has previously completed the course BIEZDM (mutually exclusive courses).
 Course guarantor:
 Eva Pernecká
 Lecturer:
 Eva Pernecká, Jitka Rybníčková
 Tutor:
 Francesco Dolce, Eva Pernecká, Jitka Rybníčková
 Supervisor:
 Department of Applied Mathematics
 Synopsis:

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.
 Requirements:

None.
 Syllabus of lectures:

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. kcombinations 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.
 Syllabus of tutorials:

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.
 Study Objective:
 Study materials:

1. Mendelson E.: Introduction to Mathematical Logic (6th Edition); Chapman and Hall 2015; ISBN 9781482237726
2. Chartrand G., Zhang P.: Discrete Mathematics; Waveland;2011; ISBN 9781577667308
3. Graham R. L., Knuth D. E., Patashnik O.: Concrete Mathematics: A Foundation for Computer Science (2nd Edition); AddisonWesley Professional; 1994; ISBN 9780201558029
4. Trlifajová K., Vašata D.: Matematická logika; ČVUT2017; ISBN 9788001053423
5. Nešetřil J., Matoušek J.: Kapitoly z diskrétní matematiky; Karolinum2007; ISBN 9788024614113
 Note:
 Further information:
 https://courses.fit.cvut.cz/BIEDML
 Timetable for winter semester 2024/2025:

06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon Tue Wed Thu Fri  Timetable for summer semester 2024/2025:
 Timetable is not available yet
 The course is a part of the following study plans:

 Bachelor Specialization Computer Engineering, 2021 (compulsory course in the program)
 Bachelor Specialization, Information Security, 2021 (compulsory course in the program)
 Bachelor Specialization, Software Engineering, 2021 (compulsory course in the program)
 Bachelor Specialization, Computer Science, 2021 (compulsory course in the program)
 Bachelor Specialization, Computer Networks and Internet, 2021 (compulsory course in the program)
 Bachelor Specialization Computer Systems and Virtualization, 2021 (compulsory course in the program)
 Bachelor Specialization, Computer Engineering, Version 2024 (compulsory course in the program)