Diskretne matematičke strukture

U uvodu knjige dati su osnovni pojmovi skupa, relacije, funkcije i operacije. Druga i treća glava posvećene su klasičnoj Matematičkoj logici. U drugoj glavi date su osnove iskaznog računa i neke od njegovih primena, dok se u trećoj glavi razmatra predikatski račun I reda, sa posebnim osvrtom na formalno određivanje istinitosne vrednosti predikata. Četvrta glava se bavi relacijskim strukturama, a izlažene su osobine relacije poretka i relacije ekvivalencije. U petoj glavi dati su elementi Teorije grafova. Posebno su razmatrana stabla i ukazano je na mogućnost njihove primene u računarstvu. U šestoj glavi formalno je definisan pojam konačne mašine, kao i vrlo važna specijalna vrsta - konačni automati. Sedma glava razmatra formalne jezike i njihovu klasifikaciju po Čomskom, uspostavljajući vezu između konačnih automata i specijalne vrste jezika koje oni prepoznaju. U osmoj glavi je predstavljen koncept Tjuringove mašine,koji je usko povezan za pojmom algoritma i ima veliki teorijski značaj u računarskim naukama.