제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
부록 ... 593
찾아보기 ... 601