제1장 수학적 논리(Mathematical Logic) 
  1.1 논리와 명제(Logic and Propositions)  ... 10
  1.2 논리 연산(Logical Operations)  ... 11
  1.3 항진 명제와 모순 명제  ... 19
  1.4 추론(Argument)  ... 23
  1.5 술어 논리(Predicate logic)  ... 26
  연습문제  ... 32
제2장 집합(Set) 
  2.1 집합의 표현(Representation of Sets)  ... 38
  2.2 집합의 연산(Operations on Sets)  ... 43
  2.3 집합류와 멱집합(Class and power Sets)  ... 51
  2.4 집합의 분할(Partitions of a Sets)  ... 53
  연습문제  ... 55
제3장 관계(Relations) 
  3.1 이항 관계  ... 62
  3.2 관계의 표현  ... 65
  3.3 합성 관계  ... 69
  3.4 관계의 성질  ... 77
  3.5 동치 관계와 분할  ... 83
  3.6 순서 관계  ... 87
  연습문제  ... 91
제4장 함수(Functions) 
  4.1 함수의 정의  ... 100
  4.2 함수의 그래프  ... 102
  4.3 단사 함수, 전사 함수, 전단사 함수  ... 104
  4.4 여러 가지 함수  ... 108
  4.5 순열  ... 116
  4.6 컴퓨터 언어에서의 함수의 역할  ... 121
  연습문제  ... 123
제5장 증명법 
  5.1 증명 방법  ... 130
  5.2 수학적 귀납법의 원리  ... 130
  5.3 모순 증명법  ... 134
  5.4 직접 증명법  ... 135
  5.5 반례 증명법  ... 135
  5.6 순환 관계식  ... 136
  연습문제  ... 138
제6장 그래프(Graph) 
  6.1 그래프의 기본 개념  ... 142
  6.2 그래프의 용어  ... 143
  6.3 그래프의 표현  ... 149
  6.4 특수 형태의 그래프  ... 150
  6.5 그래프와 관계  ... 162
  6.6 그래프의 응용  ... 164
  6.7 그래프의 탐색  ... 168
  연습문제  ... 172
제7장 트리(Trees) 
  7.1 기본 용어  ... 178
  7.2 방향 트리  ... 180
  7.3 이진 트리  ... 181
  7.4 이진 트리의 표현  ... 183
  7.5 이진 트리의 탐방  ... 184
  7.6 생성 트리와 최소 생성 트리  ... 191
  7.7 트리의 활용  ... 195
  연습문제  ... 203
제8장 부울 대수(Boolean Algebra) 
  8.1 부울식  ... 210
  8.2 부울식의 표현  ... 214
  8.3 부울 함수의 간소화  ... 218
  8.4 논리 회로 설계  ... 226
  연습문제  ... 231
제9장 행렬과 행렬식 
  9.1 행렬  ... 238
  9.2 행렬식  ... 244
  연습문제  ... 253
제10장 오토마타, 문법, 언어 
  10.1 오토마타(Automata)  ... 256
  10.2 오토마타 이론과 컴퓨터 관련 학문  ... 257
  10.3 오토마타와 관련된 3가지 개념  ... 259
  10.4 유한 오토마타  ... 264
  10.5 오토마타의 응용  ... 267
  10.6 문법(grammar)과 언어(language)  ... 270
  10.7 튜링머신(Turing machine)  ... 274
  10.8 촘스키 포함 관계(Chomsky Hierarchy)  ... 279
  연습문제  ... 282
제11장 알고리즘(Algorithms) 
  11.1 알고리즘 분석  ... 288
  11.2 알고리즘의 복잡성  ... 290
  11.3 되부름 함수의 복잡성  ... 293
  11.4 정렬 알고리즘  ... 298
  11.5 탐색 알고리즘  ... 303
  연습문제  ... 309
참고문헌  ... 315
찾아보기  ... 317