Ova knjiga obuhvata raznovrsne matematičke oblasti:
Logiku
Tablice istinitosti, logika iskaza, predikatski račun, logička kola, indukcija i dokazi.
Teoriju skupova
Kardinalnost skupova, relacije, parcijalno uređeni skupovi, relacije kongruencije, grafovi, usmereni grafovi i funkcije.
Algoritme
Kompleksnost algoritama, algoritmi pretraživanja i sortiranja, Euklidov algoritam, Hafmanov algoritam, Primovi algoritmi, Voršalov agoritam, Ford-Falkerosnov algoritam, Flojd-Voršalov algoritam i Dajkstrin algoritam.
Teoriju grafova
Direktni grafovi, Ojlerovi ciklusi i putanje, Hamiltonovi ciklusi i putanje, planarni grafovi i težinski grafovi.
Stabla
Binarna stabla pretraživanja, težinska stabla, obilasci stabla, Hafmanovi kodovi i razapeta stabla.
Kombinatoriku
Permutacije, kombinacije, princip uključenje-isključenja, particije, funkcije generatrise, Katalanovi brojevi, Stirlingovi brojevi, topovski polinomi, dearanžmani i prebrojavanje bojenja.
Algebru
Polugrupe, grupe, mreže, polumreže, Bulove algebre, prstenovi, polja, domeni integriteta, polinomi i matrice.