Skip to main content

Discrete StructuresLaajuus (5 cr)

Code: LTD7002

Credits

5 op

Teaching language

  • Finnish

Responsible person

  • Mikko Anttonen

Objective

After the course, the student knows basics of logical deduction and can use logical deduction tools, such as truth tables and Karnaugh maps. Student knows basics of predicate logic, basic operations of set theory, relation and function, and knows their connections to the propositional logic. Student can use induction proof method, knows basics of combinatorics and graph theory.

Content

Propositional logic, predicate logic, set theory, relations, functions, induction proof, combinatorics, graph theory.

Enrollment

01.04.2022 - 30.04.2022

Timing

24.10.2022 - 08.12.2022

Number of ECTS credits allocated

5 op

Mode of delivery

Contact teaching

Campus

Wärtsilä Campus Karjalankatu 3

Teaching languages
  • Finnish
Degree programmes
  • Degree Programme in Business Information Technology
Teachers
  • Mikko Anttonen
Teacher in charge

Mikko Anttonen

Groups
  • DTNS21
    Information Technology (BBA), Full-time Studies, Fall, 2021

Objective

After the course, the student knows basics of logical deduction and can use logical deduction tools, such as truth tables and Karnaugh maps. Student knows basics of predicate logic, basic operations of set theory, relation and function, and knows their connections to the propositional logic. Student can use induction proof method, knows basics of combinatorics and graph theory.

Content

Propositional logic, predicate logic, set theory, relations, functions, induction proof, combinatorics, graph theory.

Teaching methods

-you know basics of logical deduction and you know hoe to use logical deduction tools, such as truth tables and Karnaugh maps.
-you know basics of predicate logic, basic operations of set theory, relation and function, and you know their connections to the propositional logic.
-you know how to use induction proof method, you know basics of combinatorics and graph theory.
-you understand the theory of combinatorics and you are able to apply the theory in practice.
-you understand graph theory (network theory) and you are able to apply the theory in practice.
-you understand mathematical induction.

Evaluation scale

H-5