Discrete Mathematics and Computability (5 cr)
Code: IC10021-3002
General information
- Enrollment
- 01.04.2025 - 30.04.2025
- Registration for the implementation has ended.
- Timing
- 20.10.2025 - 02.12.2025
- The implementation has not yet started.
- Number of ECTS credits allocated
- 5 cr
- Local portion
- 5 cr
- Mode of delivery
- Contact learning
- Unit
- Insinöörikoulutus / Information Technology (IC)
- Teaching languages
- English
- Seats
- 10 - 120
- Degree programmes
- Degree Programme in Information and Communication Technology
- Teachers
- Radu Mariescu-Istodor
- Teacher in charge
- Radu Mariescu-Istodor
- Groups
-
ICNS24Bachelor of Engineering, Information Technology, Full-time Studies, Fall, 2024
- Course
- IC10021
Evaluation scale
H-5
Objective
- you learn basics of logical deduction and can use logical deduction tools, such as truth tables and Karnaugh maps.
- you learn basics of predicate logic, basic operations of set theory, relation and function, and knows their connections to the propositional logic.
- you learn induction proof method
- you learn basics of combinatorics and graph theory.
- you learn the fundamental capabilities and limitations of computers.
Content
- Propositional logic
- Predicate logic
- set theory
- Relations
- Functions
- Induction proof
- Combinatorics
- Graph theory
- Automata and languages
- Turing machines.