Opintojakson jälkeen opiskelija ymmärtää matematiikan peruskäsitteitä ja osaa soveltaa niitä yksinkertaisten matemaattisten ongelmien ratkaisemiseen. Hän tuntee joukko-opin alkeet sekä relaatioiden ja funktioiden perusominaisuudet. Opiskelija ymmärtää matemaattisen todistamisen pääperiaatteet ja osaa analysoida kirjallisuudessa esitettyjä alkeellisia matematiikan todistuksia. Opiskelija osaa tehdä itse yksinkertaisia todistuksia.

Sisältö: Lause- ja predikaattilogiikan peruskäsitteitä, induktio, rekursio, joukko-opin alkeita (joukot, relaatiot, funktiot).

Kurssi toteutetaan integroituna opetuksena yliopiston perusopetuksen kanssa, päiväopetusta

Luennot, harjoitukset ja loppukoe

Merikoski, J., Virtanen, A., Koivisto, P., Johdatus diskreettiin matematiikkaan. WSOY 2004.

Rosen, K., Discrete mathematics and its applications.

Opintojaksoon liittyy itsenäisesti tehtäviä verkkoharjoituksia. Tarkemmat suoritusohjeet kurssin kotisivulla (julkaistaan myöhemmin).