제1장 형식 논리 1.1 서술, 기호 표현 그리고 항진 명제들 ... 2 1.2 명제 논리 ... 23 1.3 한정사, 술어, 타당성 ... 39 1.4 술어 논리 ... 52 1.5 논리 프로그래밍 ... 67 1.6 정확성의 증명 ... 79 제1장 복습 ... 89 컴퓨터 프로그램 문제 ... 92 제2장 알고리즘의 증명, 재귀, 분석 2.1 증명 기법 ... 94 2.2 귀납법 ... 107 2.3 고급의 정확성 증명 ... 125 2.4 재귀와 반복 관계 ... 136 2.5 알고리즘 분석 ... 166 제2장 복습 ... 177 컴퓨터 프로그램 문제 ... 180 제3장 집합, 조합 및 확률 3.1 집합 ... 184 3.2 계산 ... 215 3.3 내포와 외포의 원칙 ; 비둘기집 원리 ... 233 3.4 순열과 조합 ... 242 3.5 확률 ... 261 3.6 이항식 정리 ... 278 제3장 복습 ... 284 컴퓨터 프로그램 문제 ... 287 제4장 관계, 함수 및 행렬 4.1 관계 ... 292 4.2 위상 정렬 ... 321 4.3 관계와 데이터베이스 ... 329 4.4 함수 ... 343 4.5 행렬 ... 384 제4장 복습 ... 398 컴퓨터 프로그램 문제 ... 401 제5장 그래프와 트리 5.1 그래프의 정의와 표현 ... 406 5.2 트리 ... 435 5.3 결정 트리 ... 451 5.4 Huffman 코드 ... 460 제5장 복습 ... 469 컴퓨터 프로그램 문제 ... 471 제6장 그래프 알고리즘 6.1 방향성 그래프와 이진 관계 ; Warshall 알고리즘 ... 474 6.2 Euler경로와 Hamilton 회로 ... 491 6.3 최단 경로와 최소 신장 트리 ... 499 6.4 그래프 순회 알고리즘 ... 513 제6장 복습 ... 526 컴퓨터 프로그램 문제 ... 527 제7장 부울 대수와 컴퓨터 논리 7.1 부울 대수 구조 ... 530 7.2 논리 회로망 ... 549 7.3 최소화 ... 571 제7장 복습 ... 589 컴퓨터 프로그램 문제 ... 591 부록 ... 593 찾아보기 ... 601