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
Opintojakson opetusajat ja -paikat tutkinto-ohjelman opetusohjelmassa
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).