Discrete Mathematics and ComputabilityLaajuus (5 cr)
Code: IC10021
Credits
5 op
Teaching language
- English
Responsible person
- Jyri Kemppainen
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.
Enrollment
01.04.2024 - 30.04.2024
Timing
21.10.2024 - 29.11.2024
Number of ECTS credits allocated
5 op
Mode of delivery
Contact teaching
Campus
Wärtsilä Campus Karjalankatu 3
Teaching languages
- English
Seats
10 - 60
Degree programmes
- Degree Programme in Information and Communication Technology
Teachers
- Radu Mariescu-Istodor
Teacher in charge
Radu Mariescu-Istodor
Groups
-
ICNS23Bachelor of Engineering, Information Technology, Full-time Studies, Fall, 2023
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.
Evaluation scale
H-5