Discrete StructuresLaajuus (5 cr)
Code: DT10057
Credits
5 op
Teaching language
- Finnish
Responsible person
- Mikko Anttonen
Objective
-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.
Content
Propositional logic, predicate logic, set theory, relations, functions, induction proof, combinatorics, graph theory.
Enrollment
01.04.2024 - 30.04.2024
Timing
28.10.2024 - 13.12.2024
Number of ECTS credits allocated
5 op
Mode of delivery
Contact teaching
Teaching languages
- Finnish
Degree programmes
- Degree Programme in Business Information Technology
Teachers
- Mikko Anttonen
Teacher in charge
Mikko Anttonen
Groups
-
DTNS23Information Technology (BBA), Full-time Studies, Fall, 2023
Objective
-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.
Content
Propositional logic, predicate logic, set theory, relations, functions, induction proof, combinatorics, graph theory.
Evaluation scale
H-5
Enrollment
01.04.2023 - 15.04.2023
Timing
24.10.2023 - 08.12.2023
Number of ECTS credits allocated
5 op
Mode of delivery
Contact teaching
Campus
Wärtsilä Campus Karjalankatu 3
Teaching languages
- Finnish
Seats
1 - 60
Degree programmes
- Degree Programme in Business Information Technology
Teachers
- Mikko Anttonen
Teacher in charge
Mikko Anttonen
Groups
-
DTNS22Information Technology (BBA), Full-time Studies, Fall, 2022
Objective
-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.
Content
Propositional logic, predicate logic, set theory, relations, functions, induction proof, combinatorics, graph theory.
Evaluation scale
H-5