옮긴이 머리말 ... 5
머리말 ... 7
1장 논리와 증명
   1.1 명제 ... 20
   1.2 조건 명제와 논리적 동치 ... 29
   1.3 정량자 ... 42
   1.4 다중 정량자 ... 58
   1.5 증명 ... 69
   1.6 분해 증명 ... 89
   1.7 수학적 귀납법 ... 94
   문제 해결 코너 : 수학적 귀납법 ... 110
   1.8 강한 형식의 귀납법 및 정렬 순서 속성 ... 114
   참고 ... 123
   요점 정리 ... 123
   자기진단 ... 127
   컴퓨터 연습 문제 ... 129
2장 수학의 언어
   2.1 집합 ... 131
   2.2 함수 ... 148
   문제 풀이 코너: 함수 ... 172
   2.3 수열과 문자열 ... 175
   참고 ... 191
   요점정리 ... 192
   자기 진단 ... 194
   컴퓨터 문제 ... 195
3장 관계
   3.1 관계 ... 197
   3.2 동치 관계 ... 210
   문제 풀이 코너: 동치 관계 ... 220
   3.3 관계의 행렬 ... 223
   3.4 관계형 데이터베이스 ... 231
   참고 ... 238
   요점정리 ... 238
   자기 진단 ... 239
   컴퓨터 문제 ... 241
4장 알고리즘
   4.1 서론 ... 243
   4.2 알고리즘의 예 ... 250
   4.3 알고리즘의 분석 ... 259
   문제 풀이 코너: 알고리즘의 설계와 분석 ... 282
   4.4 재귀적 알고리즘 ... 286
   참고 ... 296
   요점정리 ... 297
   자기 진단 ... 299
   컴퓨터 문제 ... 300
5장 정수론
   5.1 약수 ... 301
   5.2 정수의 표현과 정수 알고리즘 ... 314
   5.3 유클리드 알고리즘 ... 333
   문제 풀이 코너: 우편 요금 계산하기 ... 344
   5.4 RSA 공개 키 암호 체계 ... 347
   참고 ... 350
   요점정리 ... 351
   자기 진단 ... 352
   컴퓨터 문제 ... 353
6장 경우의 수와 비둘기 집의 원리
   6.1 기본 원리 ... 355
   문제 풀이 코너: 경우의 수 ... 366
   6.2 순열과 조합 ... 370
   문제 풀이 코너: 조합 ... 386
   6.3 순열과 조합을 위한 알고리즘 ... 389
   6.4 이산 확률 소개 ... 397
   6.5 이산 확률 이론 ... 402
   6.6 일반화된 순열과 조합 ... 417
   6.7 이항 계수와 조합 항등식 ... 427
   6.8 비둘기 집의 원리 ... 434
   참고 ... 440
   요점정리 ... 441
   자기 진단 ... 442
   컴퓨터 문제 ... 445
7장 점화 관계
   7.1 서론 ... 447
   7.2 점화 관계 풀이 ... 465
   문제 풀이 코너: 점화 관계 ... 482
   7.3 알고리즘 분석의 응용 ... 487
   참고 ... 504
   요점 정리 ... 505
   자기 진단 ... 505
   컴퓨터 문제 ... 507
8장 그래프 이론
   8.1 서론 ... 510
   8.2 경로와 사이클 ... 524
   문제 풀이 코너: 그래프 ... 541
   8.3 해밀턴 사이클과 판매원 방문 문제 ... 542
   8.4 최단 경로 알고리즘 ... 552
   8.5 그래프의 표현 ... 558
   8.6 그래프의 동형 ... 565
   8.7 평면 그래프 ... 574
   8.8 순간 착란 ... 582
   참고 ... 588
   요점정리 ... 588
   자기 진단 ... 591
   컴퓨터 문제 ... 594
9장 트리
   9.1 서론 ... 597
   9.2 트리의 용어와 특성 ... 607
   문제 풀이 코너: 트리 ... 614
   9.3 신장 트리 ... 616
   9.4 최소 신장 트리 ... 625
   9.5 이진 트리 ... 634
   9.6 트리 운행 ... 642
   9.7 결정 트리와 정렬에 대한 최소 시간 ... 651
   9.8 트리의 동형 ... 659
   9.9 게임 트리 ... 671
   참고 ... 681
   요점정리 ... 682
   자기 진단 ... 684
   컴퓨터 문제 ... 688
10장 네트워크 모델
   10.1 소개 ... 691
   10.2 최대 흐름 알고리즘 ... 699
   10.3 최대흐름, 최소 제거 정리 ... 709
   10.4 매칭 ... 71
   문제풀이 코너: 매칭 ... 721
   참고 ... 723
   요점정리 ... 724
   자기 진단 ... 725
   컴퓨터 문제 ... 726
11장 불 대수와 조합회로
   11.1 조합회로 ... 727
   11.2 조합회로의 특성 ... 735
   11.3 불 대수 ... 742
   문제 풀이 코너: 불 대수 ... 748
   11.4 불 함수와 회로 합성 ... 751
   11.5 응용 ... 757
   참고 ... 767
   요점정리 ... 768
   자기 진단 ... 770
   컴퓨터 문제 ... 772
12장 오토마타, 문법 그리고 언어
   12.1 순차 회로와 유한 상태 기계 ... 773
   12.2 유한 상태 오토마타 ... 781
   12.3 언어와 문법 ... 789
   12.4 비결정적 유한 상태 오토마타 ... 800
   12.5 언어와 오토마타의 관계 ... 809
   참고 ... 815
   요점정리 ... 816
   자기 진단 ... 818
   컴퓨터 문제 ... 820
13장 계산 기하학
   13.1 최근접 쌍 문제 ... 821
   13.2 컴벡스 헐을 계산하는 알고리즘 ... 829
   참고 ... 837
   요점정리 ... 837
   자기 진단 ... 838
   컴퓨터 문제 ... 839
부록 A ... 841
부록 B ... 847
부록 C ... 862
참고문헌 ... 869
힌트 및 해답 ... 874
찾아보기 ... 995