Siirry suoraan sisältöön

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
  • ICNS23
    Insinöö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