이 책은 수의 체계와 집합, 관계와 함수, 그래프 이론, 트리의 구조와 응용, 행렬과 행렬식, 헤아림 문제와 행렬의 응용, 명제와 논리구조, 부울대수, 형식언어와 유한상태기계, 알고리즘을 다룬 책이다.