- Programme
- Artificial Intelligence
- Year
- 1st year, first-cycle (BSc)
- Semester
- Winter semester 2026/2027
- Format
- Classes (tutorials)
- Teaching since
- 2019/2020
- Hours
- 30 h lectures, 30 h tutorials · 5 ECTS
- Coordinator
- dr Juan Carrascoza Mayén
- My part
- Tutorials
About the course
Logic, set theory, asymptotics, relations and functions, combinatorics and advanced counting, mathematical induction and recursion, and an introduction to graph theory — followed by transversal theory, rook polynomials and generating functions.
I have taught Discrete Mathematics classes since 2019/2020 for Bioinformatics, Computer Science and Artificial Intelligence students (the latter in English).
Topics
- Fundamentals of logic
- Set theory
- Asymptotics
- Relations and functions
- Combinatorics
- Advanced principles of counting
- Mathematical induction
- Recursion
- Graph theory
- Transversals and Tournaments
- Latin squares
- Rook polynomials
- Generating functions
- Properties of Integers
- Special Numbers
- Advanced graph problems
Course code: S1SI1E>MATD. The current course card (ECTS syllabus) is available in USOSweb.
Materials and announcements
All course information, teaching materials and grading rules are available on the eKursy platform.
Office hours
Tuesdays, 13:30–15:00, room 2.6.46 (ECBiG). Please e-mail me in advance — contact details.