Diskreetti matematiikkaLaajuus (3 op)

Osaamistavoitteet

Opiskelija
-osaa perusteet propositio- ja predikaattilogiikasta sekä joukko-opista
-tuntee induktion ja rekursion periaatteen
-tutustuu relaatioihin ja algoritmeihin ja tietää niihin liittyvää peruskäsitteistöä
-tunnistaa graafeihin liittyviä käsitteitä

Sisältö

- Kvanttorit
- Propositio- ja predikaattilogiikan perusteet, Boolen algebra, totuustaulut
- Induktio ja rekursio
- Joukko-opin merkintöjä ja perusteita
- Relaatiot
- Graafit

Arviointikriteerit, tyydyttävä (1-2)

Opiskelija osaa perusteet joukko-opista ja logiikasta sekä tunnistaa opintojakson aihepiiriin liittyvää käsitteistöä. Opiskelija osaa laskea opintojakson aihepiireihin liittyviä yksinkertaisia tehtäviä, jotka ovat käsiteltyjen/esitettyjen esimerkkien kaltaisia.

Arviointikriteerit, hyvä (3-4)

Edellisten lisäksi opiskelija osaa soveltaa opintojakson asioita uudenlaisissa tilanteissa ja perustella ratkaisujaan. Opiskelija osaa käyttää opintojakson aihepiireihin liittyviä käsitteitä ja menetelmiä oikein. Opiskelija suoriutuu annetuista tehtävistä itsenäisesti.

Arviointikriteerit, kiitettävä (5)

Edellisen lisäksi opiskelijalla on kokonaisvaltainen käsitys opintojakson asioista ja niiden käytöstä ongelmien ratkaisussa sekä taito esittää ja perustella loogisesti valitsemansa ratkaisut.