Discrete Mathematics and ComputabilityLaajuus (5 op)
Tunnus: IC10021
Laajuus
5 op
Opetuskieli
- englanti
Vastuuhenkilö
- Jyri Kemppainen
Osaamistavoitteet
- 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.
Sisältö
- Propositional logic
- Predicate logic
- set theory
- Relations
- Functions
- Induction proof
- Combinatorics
- Graph theory
- Automata and languages
- Turing machines.
Ilmoittautumisaika
01.04.2024 - 30.04.2024
Ajoitus
21.10.2024 - 02.12.2024
Opintopistemäärä
5 op
Toteutustapa
Lähiopetus
Yksikkö
Insinöörikoulutus / Information Technology (IC)
Toimipiste
Wärtsilä-kampus Karjalankatu 3 (WÄR)
Opetuskielet
- Englanti
Paikat
10 - 60
Koulutus
- Degree Programme in Information and Communication Technology
Opettaja
- Radu Mariescu-Istodor
Vastuuopettaja
Radu Mariescu-Istodor
Ryhmät
-
ICNS23Insinööri (AMK), Information Technology, päivä, syksy, 2023
Tavoitteet
- 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.
Sisältö
- Propositional logic
- Predicate logic
- set theory
- Relations
- Functions
- Induction proof
- Combinatorics
- Graph theory
- Automata and languages
- Turing machines.
Arviointiasteikko
H-5