Opintojakson suoritettuaan opiskelija tuntee logiikkaan, joukko-oppiin, relaatioihin, fuktioihin ja kombinatoriikkaan liittyvät peruskäsitteet sekä niiden yhteyden sovelluksiin.