Skip to main content

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 - 02.12.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
  • ICNS23
    Bachelor 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