Discrete Mathematics and Computability (5 op)
Toteutuksen tunnus: IC10021-3002
Toteutuksen perustiedot
- Ilmoittautumisaika
- 01.04.2025 - 30.04.2025
- Ilmoittautuminen toteutukselle on päättynyt.
- Ajoitus
- 20.10.2025 - 02.12.2025
- Toteutus ei ole vielä alkanut.
- Opintopistemäärä
- 5 op
- Lähiosuus
- 5 op
- Toteutustapa
- Lähiopetus
- Yksikkö
- Insinöörikoulutus / Information Technology (IC)
- Opetuskielet
- englanti
- Paikat
- 10 - 120
- Koulutus
- Degree Programme in Information and Communication Technology
- Opettajat
- Radu Mariescu-Istodor
- Vastuuopettaja
- Radu Mariescu-Istodor
- Ryhmät
-
ICNS24Insinööri (AMK), Information Technology, päivä, syksy, 2024
- Opintojakso
- IC10021
Arviointiasteikko
H-5
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.