1. 수학적 논리
 1·1 명제 논리 ... 10
 1·2 명제 해석 ... 12
 1·3 논리적 동치 ... 17
 1·4 증명 방법 ... 21
 1·5 술어 논리 ... 24
 연습문제 ... 30
2. 집합과 함수
 2·1 집합의 개념 ... 34
 2·2 집합의 연산 ... 38
 2·3 함수의 개념 ... 49
 2·4 합성 함수와 역함수 ... 56
 2·5 특수 함수 ... 61
 2·6 행렬 ... 63
 연습문제 ... 73
3. 관계
 3·1 관계 ... 80
 3·2 관계의 표현 ... 83
 3·3 관계의 합성 ... 86
 3·4 동치 관계 ... 89
 3·5 관계의 폐쇄 성질 ... 98
 3·6 부분 순서의 속 ... 103
 연습문제 ... 112
4. 수학적 귀납법과 재귀법
 4·1 수학적 귀납법 ... 120
 4·2 제2수학적 귀납법 ... 123
 4·3 재귀적 정의 ... 125
 4·4 재귀적 프로그램 ... 128
 연습문제 ... 133
5. 트리
 5·1 트리의 정의 ... 136
 5·2 이진 트리의 표현 ... 139
 5·3 이진 트리의 순회 ... 140
 5·4 이진 탐색 트리 ... 143
 5·5 트리의 이진 트리 변환 ... 145
 연습문제 ... 147
6. 그래프
 6·1 그래프의 정의 ... 152
 6·2 그래프의 표현 ... 157
 6·3 특수 그래프 ... 159
 6·4 평면 그래프 ... 162
 6·5 그래프 순회 ... 167
 연습문제 ... 170
7. 부울 대수
 7·1 부울 대수의 개념 ... 175
 7·2 부울 함수의 표현 ... 181
 7·3 논리 게이트 ... 184
 7·4 회로의 최소화 ... 188
 연습문제 ... 195
8. 셈
 8·1 셈의 기본 원리 ... 199
 8·2 순열과 조합 ... 200
 8·3 이항 정리 ... 207
 8·4 포함-제외 원리 ... 210
 연습문제 ... 213
9. 알고리즘
 9·1 효율성 분석 ... 218
 9·2 탐색 알고리즘 ... 223
 9·3 정렬 알고리즘 ... 227
 9·4 최소 스패닝 트리 ... 233
 연습문제 ... 237
부록
 연습 문제 해답 ... 241
 참고 문헌 ... 285
 한글 색인 ... 289
 영문 색인 ... 296