Conducted in
terms:
Winter Semester 2020/21
Winter Semester 2021/22
Winter Semester 2022/23
Winter Semester 2023/24
Winter Semester 2024/25
Winter Semester 2020/21
Winter Semester 2021/22
Winter Semester 2022/23
Winter Semester 2023/24
Winter Semester 2024/25
ECTS credits:
6
Organized by:
Faculty of Computer Science
Discrete Mathematics IS-FCS-00054W
Description:
Mathematical induction recursion and chosen methods of its solving. Basics of arithmetics of integers modular arithmetics. Basic notions and objects of combinatorics, their properties and techniques of counting, in particular the Pigeon Hole Principle and the Principle of Inclusion - Exclusion Principle. Generating functions. Asymptotics of functions. Basic notions and theorems of graph theory, in particular, a characterization of Euler and Hamiltonian graphs, properties of connected graphs, planar graphs and trees, counting of spanning trees, colourings of graphs.
Requirements:
logics