모든 분야의 기초가 되는 수학 원리와 이를 응용하는 구체적인 방법 제시하고, 논리적 사고를 키워주는 수학 기초 도서. 대학에서 컴퓨터 및 컴퓨터 관련 기초지식을 습득하려는 학생들을 대상으로 한다.
수학적 계산 문제 외에 컴퓨터와 관련된 문제를 접할 수 있도록 집필하였으므로 관련 교과목을 이해하는 데도 도움이 될 것이다. 또한 기초적인 수학 지식을 익히기 위한 입문서이므로 미리 알아야 할 내용은 없다. 총 12개 장으로 구성되어 있으며, 집합, 행렬, 명제, 경우의 수와 같은 기본적인 수학지식에서부터 그래프, 트리, 알고리즘, 논리회로, 형식언어 등의 컴퓨터 이론을 설명한다.

Chapter 1. 논리와 명제
01. 기본 개념
02. 논리 연산자와 진리표
03. 논리적 동치
04. 한정기호
요약
연습문제
Chapter 2. 증명
01. 수학적 귀납법
02. 직접증명법
03. 간접증명법
04. 재귀법
05. 프로그램 검증
요약
연습문제
Chapter 3. 집합
01. 기본 개념
02. 집합의 연산