이산수학

제1장 형식 논리
1.1 서술, 기호 표현 그리고 항진 명제들
1.2 명제 논리
1.3 한정사, 술어, 타당성
1.4 술어 논리
1.5 논리 프로그래밍
1.6 정확성의 증명
제1장 복습
컴퓨터 프로그램 문제

제2장 알고리즘의 증명, 재귀, 분석
2.1 증명 기법
2.2 귀납법
2.3 고급의 정확성 증명
2.4 재귀와 반복 관계
2.5 알고리즘 분석
제2장 복습
컴퓨터 프로그램 문제

제3장 집합, 조합 및 확률
3.1 집 합
3.2 계 산
3.3 내포와 외포의 원칙 ; 비둘기집 원리
3.4 순열과 조합
3.5 확 률
3.6 이항식 정리
제3장 복습
컴퓨터 프로그램 문제

제4장 관계, 함수 및 행렬
4.1 관 계
4.2 위상 정렬
4.3 관계와 데이터베이스
4.4 함 수
4.5 행 렬
제4장 복습
컴퓨터 프로그램 문제

제5장 그래프와 트리
5.1 그래프의 정의와 표현
5.2 트 리
5.3 결정 트리
5.4 Huffman 코드
제5장 복습
컴퓨터 프로그램 문제

제6장 그래프 알고리즘
6.1 방향성 그래프와 이진 관계 ; Warshall 알고리즘
6.2 Euler 경로와 Hamilton 회로
6.3 최단 경로와 최소 신장 트리
6.4 그래프 순회 알고리즘
제6장 복습
컴퓨터 프로그램 문제

제7장 부울 대수와 컴퓨터 논리
7.1 부울 대수 구조
7.2 논리 회로망
7.3 최소화
제7장 복습
컴퓨터 프로그램 문제