Siirry suoraan sisältöön

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
ICNS24
Insinöö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.

Siirry alkuun