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.
Kurssi-ilmoittautuminen NettiOpsussa. Harjoitusryhmän valinta tehdään myöhemmin opettajan ohjeiden mukaisesti.