Skip to main content

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
ICNS24
Bachelor 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.

Go back to top of page