| Course title | Discrete Structures 2 |
|---|---|
| Course code | KMI/DISK2 |
| Organizational form of instruction | Lecture + Exercise |
| Level of course | Bachelor |
| Year of study | 1 |
| Semester | Summer |
| Number of ECTS credits | 6 |
| Language of instruction | Czech |
| Status of course | Compulsory, Compulsory-optional |
| Form of instruction | Face-to-face |
| Work placements | This is not an internship |
| Recommended optional programme components | None |
| Lecturer(s) |
|---|
|
| Course content |
|
Probability (classical definition of probability, finite probability space, probability calculation, random variable, expected value, variance). Introduction to propositional logic (axiomatic system, concept of proof). Introduction to predicate logic (language, notion of structure for language and truth in structure, example of PROLOG language). Brief on fuzzy logic and modal logic. Fundamentals of elementary number theory (divisibility, prime numbers, Euclidean algorithm, congruence modulo n and residue classes). Selected numerical functions, growth rates. Basic algebraic structures with one and two binary operations. Real number sequences, their properties and limits. Infinite series and their convergence and divergence criteria. Graphs (graph scores, Eulerian moves, vertex colouring of graphs, flows in networks).
|
| Learning activities and teaching methods |
| Lecture, Demonstration |
| Learning outcomes |
|
Students will learn the basics of discrete structures and discrete mathematics used in computer science.
|
| Prerequisites |
|
KMI DISK1 Discrete structures 1
|
| Assessment methods and criteria |
|
Oral exam, Written exam
Completion of assigned tasks. Passing an oral or written examination. |
| Recommended literature |
|
| Study plans that include the course |
| Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester | |
|---|---|---|---|---|
| Faculty: Faculty of Science | Study plan (Version): Computer Science (2020) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Summer |
| Faculty: Faculty of Science | Study plan (Version): Computer Science - Specialization in General Computer Science (2021) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Summer |
| Faculty: Faculty of Science | Study plan (Version): Computer Science for Education (2024) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Summer |
| Faculty: Faculty of Science | Study plan (Version): Bioinformatics (2021) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Summer |
| Faculty: Faculty of Science | Study plan (Version): Computer Science - Specialization in Programming and Software Development (2021) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Summer |