제1장 형식 논리
1.1 서술, 기호 표현 그리고 항진 명제들 2
1.2 명제 논리 23
1.3 한정사, 술어, 타당성 39
1.4 술어 논리 52
1.5 논리 프로그래밍 67
1.6 정확성의 증명 79
제1장 복습 89
컴퓨터 프로그램 문제 92

제2장 알고리즘의 증명, 재귀, 분석
2.1 증명 기법 94
2.2 귀납법 107
2.3 고급의 정확성 증명 125
2.4 재귀와 반복 관계 136
2.5 알고리즘 분석 166
제2장 복습 177
컴퓨터 프로그램 문제 180

제3장 집합, 조합 및 확률
3.1 집 합 184
3.2 계 산 215
3.3 내포와 외포의 원칙 ; 비둘기집 원리 233
3.4 순열과 조합 242
3.5 확 률 261
3.6 이항식 정리 278
제3장 복습 284
컴퓨터 프로그램 문제 287

제4장 관계, 함수 및 행렬
4.1 관 계 292
4.2 위상 정렬 321
4.3 관계와 데이터베이스 329
4.4 함 수 343
4.5 행 렬 384
제4장 복습 398
컴퓨터 프로그램 문제 401

제5장 그래프와 트리
5.1 그래프의 정의와 표현 406
5.2 트 리 435
5.3 결정 트리 451
5.4 Huffman 코드 460
제5장 복습 469
컴퓨터 프로그램 문제 471

제6장 그래프 알고리즘
6.1 방향성 그래프와 이진 관계 ; Warshall 알고리즘 474
6.2 Euler 경로와 Hamilton 회로 491
6.3 최단 경로와 최소 신장 트리 499
6.4 그래프 순회 알고리즘 513
제6장 복습 526
컴퓨터 프로그램 문제 527

제7장 부울 대수와 컴퓨터 논리
7.1 부울 대수 구조 530
7.2 논리 회로망 549
7.3 최소화 571
제7장 복습 589
컴퓨터 프로그램 문제 591