머리말 ... ⅲ
1장 서론 ... 1
 1.1 이산과 연속 ... 1
 1.2 수학적 모델 ... 3
 1.3 알고리즘 언어 ... 5
2장 명제와 논리 ... 16
 2.1 명제와 논리연산 ... 16
 2.2 술어와 한정사 ... 24
 2.3 한정사와 논리연산 ... 27
 2.4 논리적 추론 ... 33
 2.5 증명방법 ... 36
3장 집합 ... 43
 3.1 집합의 정의 ... 43
 3.2 집합의 연산 ... 46
 3.3 집합의 성질 ... 48
 3.4 집합의 종류 ... 52
 3.5 수학적 귀납법과 귀납정의 ... 56
4장 관계와 함수 ... 65
 4.1 관계 ... 65
 4.2 관계의 성질 ... 70
 4.3 동치관계와 분할 ... 77
 4.4 합성관계 ... 82
 4.5 클로우져 연산 ... 90
 4.6 순서관계 ... 94
 4.7 함수 ... 97
 4.8 함수의 종류 ... 102
5장 그래프 ... 117
 5.1 무향그래프 ... 118
 5.2 그래프의 종류 ... 126
 5.3 그래프와 행렬 ... 130
 5.4 평면그래프 ... 132
 5.5 유향그래프 ... 137
 5.6 유향그래프의 경로 ... 143
 5.7 트리 ... 152
6장 형식언어와 기계 ... 163
 6.1 형식언어 ... 164
 6.2 형식문법 ... 171
 6.3 문법의 유형과 언어 ... 176
 6.4 유한상태기계 ... 182
 6.5 유한상태 자동기계 ... 189
 6.6 튜링기게 ... 199
7장 부울대수 ... 209
 7.1 부울식 ... 209
 7.2 식의 표현 ... 214
 7.3 카노프맵 ... 220
 7.4 스위칭이론 ... 227
8장 대수체계 ... 240
 8.1 대수의 구조 ... 240
 8.2 반군, 모노이드, 군 ... 243
 8.3 준동형사상, 동형사상 ... 253
 8.4 곱대수와 상대수 ... 257
9장 조합과 계차관계 ... 263
 9.1 계수의 기본원리 ... 263
 9.2 수치함수와 생성함수 ... 272
 9.3 계차방정식 ... 285
 9.4 알고리즘 분석 ... 294
참고문헌 ... 319
찾아보기 ... 321
INDEX ... 328