저자 머리말 ... 4
워밍업 ... 6
강의 계획표 ... 8
숲과 나무 이야기 ... 10
강의 보조 자료와 관련 서비스 ... 12
Chapter 01 논리와 명제
   01 기본 개념 ... 20
   02 논리연산자와 진리표 ... 22
      부정 ... 22
      논리곱 ... 23
      논리합 ... 25
      배타적 논리합 ... 26
      함축 ... 28
      쌍조건문 ... 31
      명제의 역, 이, 대우 ... 33
   03 논리적 동치 ... 35
   04 한정기호 ... 41
      명제함수 ... 41
      한정기호 ... 43
   요약 ... 47
   연습문제 ... 49
Chapter 02 증명
   01 수학적 귀납법 ... 54
   02 직접증명법 ... 62
   03 간접증명법 ... 64
      대우증명법 ... 64
      모순증명법 ... 67
      반례에 의한 증명법 ... 70
   04 재귀법 ... 73
   05 프로그램 검증 ... 80
   요약 ... 86
   연습문제 ... 87
Chapter 03 집합
   01 기본 개념 ... 90
   02 집합의 연산 ... 96
   03 곱집합과 멱집합 ... 114
   04 집합의 분할 ... 119
   05 퍼지집합 ... 121
   요약 ... 125
   연습문제 ... 127
Chapter 04 관계
   01 기본 개념 ... 132
   02 관계의 표현 ... 137
      화살도표 ... 137
      좌표도표 ... 138
      관계행렬 ... 138
      방향그래프 ... 139
   03 관계의 성질 ... 141
      반사관계, 비반사관계 ... 141
      대칭관계, 반대칭관계 ... 144
      추이관계 ... 148
   04 관계의 연산 ... 151
      합성관계 ... 151
      여러 가지 연산 ... 155
   05 관계의 폐포 ... 157
      반사폐포 ... 157
      대칭폐포 ... 158
      추이폐포 ... 159
   06 동치관계 ... 162
   07 부분순서관계 ... 166
   요약 ... 175
   연습문제 ... 178
Chapter 05 함수
   01 기본 개념 ... 182
   02 함수의 성질 ... 189
   03 합성함수 ... 194
   04 여러 가지 함수 ... 198
   요약 ... 208
   연습문제 ... 210
Chapter 06 행렬
   01 기본 개념 ... 214
   02 행렬의 연산 ... 216
   03 여러 가지 행렬 ... 223
   04 행렬식 ... 226
   05 역행렬 ... 230
   06 연립일차방정식 ... 233
   07 부울행렬 ... 243
   요약 ... 246
   연습문제 ... 249
Chapter 07 경우의 수
   01 기본 개념 ... 254
   02 순열과 조합 ... 265
   03 이항계수 ... 276
   04 비둘기집 원리 ... 282
   요약 ... 286
   연습문제 ... 288
Chapter 08 그래프
   01 기본 개념 ... 292
   02 오일러와 해밀턴 순환 ... 305
   03 여러 가지 그래프 ... 310
   04 그래프의 표현 ... 316
      인접행렬 ... 316
      인접리스트 ... 317
   05 그래프 탐색 ... 319
      깊이우선탐색 ... 319
      너비우선탐색 ... 321
   요약 ... 323
   연습문제 ... 325
Chapter 09 트리
   01 기본 개념 ... 330
   02 이진트리 ... 334
      이진트리순회 ... 338
      이진탐색트리 ... 342
      힙 ... 344
      허프만 코드 ... 346
   03 신장트리 ... 351
   04 최소신장트리 ... 357
      프림의 알고리즘 ... 357
      크루스칼의 알고리즘 ... 360
   요약 ... 362
   연습문제 ... 364
Chapter 10 알고리즘
   01 기본 개념 ... 370
   02 정렬 알고리즘 ... 376
      버블정렬 ... 376
      선택정렬 ... 381
      삽입정렬 ... 385
      퀵정렬 ... 389
      합병정렬 ... 394
   03 탐색 알고리즘 ... 399
      선형탐색 ... 399
      이진탐색 ... 401
      이진탐색트리 ... 403
   04 알고리즘 복잡도 ... 405
   요약 ... 409
   연습문제 ... 411
Chapter 11 부울대수와 논리회로
   01 부울대수 ... 414
   02 부울함수 ... 419
   03 논리게이트 ... 424
      AND 게이트 ... 424
      OR 게이트 ... 425
      NOT 게이트 ... 425
      NAND 게이트 ... 426
      NOR 게이트 ... 426
      XOR 게이트 ... 427
   04 논리회로 ... 430
      조합회로 ... 430
      순서회로 ... 431
   05 조합회로의 최소화 ... 433
   요약 ... 442
   연습문제 ... 444
Chapter 12 형식언어, 문법과 유한상태기계
   01 형식언어 ... 448
   02 문법 ... 453
   03 유한상태기계 ... 461
      출력이 있는 유한상태기계 ... 461
      출력이 없는 유한상태기계 ... 464
   요약 ... 472
   연습문제 ... 475
찾아보기 ... 479