• Joukko-oppia
• Logiikkaa
• Induktio ja muita todistustapoja
• Relaatioita ja funktioita
• Lukumääriä ja kombinatoriikkaa
• Lukuteoriaa ja RSA-salaus
• Permutaatioita ja ryhmiä
• Verkkoja eli graafeja

MyCourses: MS-A0401, 2017-I
MyCourses: MS-A0402, 2017-IV