Opintojakson jälkeen opiskelija ymmärtää ja osaa soveltaa relaatioihin ja funktioihin liittyviä käsitteitä ja osaa johtaa ja todistaa niitä koskevia tuloksia. Opiskelija osaa ratkaista myös sellaisia diskreetin matematiikan ongelmia, jotka eivät suoraan muistuta annettuja esimerkkejä. Opiskelija osaa analysoida ja vertailla kirjallisuudessa esitettyjä relaatioita ja funktioita koskevia vaativahkojakin perustason todistuksia. Opiskelija ymmärtää mahtavuuden käsitteen ja mahtavuuksiin liittyviä todistuksia.
Sisältö
Ensimmäinen ja toinen induktioperiaate, relaatiot, funktiot, injektiot, surjektiot, bijektiot ja käänteisfunktiot, mahtavuus.
Vaadittavat opintosuoritukset
Suoritusvaihtoehto
1
Kohderyhmät:
Tutkinto-ohjelman omat opiskelijat
Muut opiskelijat
Avoimen yliopisto-opetuksen opiskelijat
Tohtoriopiskelijat
Vaihto-opiskelijat
Luennot, harjoitukset ja loppukoeOsallistuminen opetukseen
5 op
Opintojaksot MTTMY1 Matematiikan peruskäsitteitä ja MTTMP2 Johdatus matemaattiseen päättelyyn vastaavat yhdessä opinto-oppaan 2010-2012 opintojaksoja MATEP0 Diskreetti matematiikka ja MATEA15A Logiikka 1A.
Mikäli vain toinen vanhoista opintojaksoista on suoritettuna, pitää uusien opintojaksojen suorittamisesta keskustella vastuuopettajan kanssa. Täydennyksistä on erillinen ohje.