Osaan kurssia (logiikka, joukot, induktio, rekursio) sopii kirja

 Merikoski - Virtanen - Koivisto: Johdatus diskreettiin metematiikkaan.
 WSOY, Porvoo 2004

Logiikan peruskurssikirjoja ja diskreetin matematiikan 
peruskurssikirjoja voi myös köyttää. Merkinnät vaihtelevat 
kirjasta toiseen, joten niissä täytyy olla huolellinen.