저자머리말
역자머리말
1. 형식 논리
1.1 서술, 기호 표현 그리고 항진 명제들
1.2 명제 논리
1.3 한정사, 술어, 타당성
1.4 술어 논리
1.5 논리 프로그래밍
1.6 정확성의 복습
2. 알고리즘의 증명, 재귀, 분석
2.1 증명 기법
2.2 귀납법
2.3 고급의 정확성 문제
2.4 재귀와 반복
2.5 알고리즘 분석
3. 집합과 조합
3.1 집 합
3.2 계 산
3.3 내포와 외포의 원칙
3.4 순열과 조합
3.5 이항 정리
4. 관계, 함수 및 행렬
4.1 관 계
4.2 위상 정렬
4.3 관계와 DB
4.4 함 수
4.5 행 렬
5. 그래프와 트리
5.1 그래프의 정의와 표현
5.2 트 리
5.3 결정 트리
6. 그래프 알고리즘
6.1 방향성 그래프와 이진관계
6.2 Euler 경로와 Hamilton 회로
6.3 최단 경로와 최소 신장 트리
6.4 그래프 순회 알고리즘
6.5 단절점
7. 부울 대수와 컴퓨터 논리
7.1 부울 대수 구조
7.2 논리 회로망
7.3 최소화
부록
찾아보기