목차
제1장 형식논리
1.1 서술, 기호 표현 그리고 항진 명제들 = 2
1.2 명제 논리 = 20
1.3 한정사, 술어, 타당성 = 34
1.4 술어 논리 = 46
1.5 논리 프로그래밍 = 59
1.6 정확성의 증명 = 71
제1장 복습 = 81
컴퓨터 프로그램 문제 =84
제2장 알고리즘의 증명 재귀, 분석
2.1 증명 기법 = 87
2.2 귀납법 = 99
2.3 고급의 정확성 증명 = 115
2.4 재귀와 반복 관계 =125
2.5 알고리즘 분석 = 151
제2장 복습 = 161
컴퓨터 프로그램 문제 = 163
제3장 집합과 조합
3.1 집합 = 168
3.2 계산 = 198
3.3 내포와 외포의 원칙: 비둘기 집의 원리 = 210
3.4 순열과 조합 = 219
3.5 이항의 정리 = 237
제3장 복습 = 243
컴퓨터 프로그램 문제 = 245
제4장 관계, 함수 및 행렬
4.1 관계 = 248
4.2 위상 정렬 = 277
4.3 관계와 데이터베이스 = 284
4.4 함수 = 296
4.5 행렬 = 333
제4장 복습 = 346
컴퓨터 프로그램 문제 = 348
제5장 그래프와 트리
5.1 그래프의 정의와 표현 = 352
5.2 트리 = 381
5.3 결정 트리 = 397
제5장 복습 = 406
컴퓨터 프로그램 문제 = 408
제6장 그래프 알고리즘
6.1 방향성 그래프와 이전 관계: Warshall 알고리즘 = 410
6.2 Euler 경로와 Hamiltion 회로 = 424
6.3 최단 경로와 최소 신장 트리 = 431
6.4 그래프 순회 알고리즘 = 442
6.5 단절점 = 450
제6장 복습 = 455
컴퓨터 프로그램 문제 = 456
제7장 부울 대수와 컴퓨터 논리
7.1 부울 대수 구조 = 460
7.2 논리 회로망 = 479
7.3 최소화 = 502
제7장 복습 = 522
컴퓨터 프로그램 문제 = 523
부록 = 525
찾아보기 = 533