제1장 기초(The foundations) : 집합 및 함수(set and Functions) ... 1
 1.0 이산수학이란?(What is discrete mathematics?) ... 2
 1.1 집합(Sets) ... 3
 1.2 관계(Relations) ... 21
 1.3 함수(Functions) ... 70
 1.4 함수의 성장(The growth of functions) ... 90
제2장 근본(The fundamentals) : 알고리즘(Algorithms) 및 알고리즘의 복잡성(Complexity of Algorithms) ... 101
 2,1 알고리즘(Algorithms) ... 102
 2.2 알고리즘의 복잡성(Complexity of Algorithms) ... 109
제3장 수학적 귀납법 및 계산(Mathematical Induction and Counting) ... 125
 3.1 수학적 귀납법(Mathematical Induction) ... 126
 3.2 순열과 조합(Permutations and Combinations) ... 129
제4장 두 개의 근본적인 원리(Two Fundamental Principles) ... 141
 4.1 비둘기집 원리(The Pigeonhole Principle) ... 142
 4.2 램지의 성질(Ramsey's Property) ... 145
제5장 이산수치함수와 생성함수(Discrete Numeric Functions and Generating Functions) ... 151
 5.1 서론 ... 152
 5.2 수치함수의 연산(Manipulation of Numeric Functions) ... 154
 5.3 생성함수(Generating Functions) ... 158
 5.4 조합의 문제 ... 165
제6장 점화관계(Recurrence Relations) ... 171
 6.1 서론(Introduction) ... 172
 6.2 상수계수들을 갖는 선형점화관계(Linear Recurrence Relations with Constant Coefficients) ... 173
제7장 그래프와 평면그래프(Graphs and Planar Graphs) ... 181
 7.1 기본적인 용어(Basic Terminology) ... 182
 7.2 경로 및 순회(Paths and Circuits) ... 188
 7.3 가장 짧은 경로(Shortest Paths) ... 195
 7.4 오일러 경로 및 순회(Eulerian Paths and Circuits) ... 216
 7.5 헤밀턴 경로 및 순회(Hamiltonian Paths and Circuits) ... 224
 7.6 순회 판매원 문제(The Traveling Salesperson Problem) ... 233
 7.7 평면 그래프(Planar Graphs) ... 236
제8장 츄리(trees) ... 251
 8.1 기본 용어 및 기본 정리(Basic Terminology and Theorems) ... 252
 8.2 근 츄리(Rooted Trees) ... 257
 8.3 근 츄리에서 경로 길이(Path Lengths in Rooted Trees) ... 266
 8.4 접두 코드(Prefix Codes)와 최적 츄리(Optimal Trees) ... 270
 8.5 생성 츄리(Spanning Trees) ... 279
 8.6 최소 생성 츄리(Minimum Spanning Trees) ... 290
 8.7 이진 탐색 츄리(Binary Search Trees) ... 301
 8.8 데이터 구조(Data Structures) ... 310
 8.9 츄리 운행(Tree Traversal) ... 312
 8.10 츄리 및 분류(Trees and Sorting) ... 323
제9장 언어와 유한상태 기계(Languages and Finite State Machines) ... 337
 9.1 언어(Languages) ... 338
 9.2 형식문법(Formal Grammars) ... 342
 9.3 정규문법과 정규표현(Regular Grammars and Regular Expressions) ... 351
 9.4 유한상태 수용기와 언어(Finite State Accepters and Languages) ... 355
연습문제 해답 ... 373
찾아보기 ... 393
참고문헌 ... 399