Core 이산수학 (Brief Edition)

01 기초: 논리와 증명
1.1 명제 논리
1.2 명제의 동치
1.3 술어와 한정기호
1.4 중첩된 한정기호
1.5 추론 규칙
1.6 증명의 소개

02 기본구조: 집합,함수,수열,수열의 합,행렬
2.1 집합
2.2 집합의 연산
2.3 함수
2.4 수열과 수열의 합
2.5 집합의 크기
2.6 행렬

03 알고리즘
3.1 알고리즘
3.2 함수의 증가
3.3 알고리즘의 복잡도

04 귀납법과 재귀
4.1 수학적 귀납법
4.2 강 귀납법과 순서화
4.3 재귀적 정의와 구조적 귀납법
4.4 재귀 알고리즘

05 계수
5.1 계수의 기본 원리
5.2 비둘기집 원리
5.3 순열과 조합
5.4 이항 계수
5.5 일반화된 순열과 조합

06 이산적 확률
6.1 이산적 확률의 소개
6.2 확률 이론
6.3 베이즈 정리
6.4 기대값과 분산

07 고급 계수 기법
7.1 점화관계의 응용
7.2 점화관계 풀기
7.3 분할정복 알고리즘과 점화관계
7.4 포함-배제
7.5 포함-배제의 응용

08 관계
8.1 관계와 그들의 특성
8.2 관계의 표현
8.3 관계의 폐쇄
8.4 동치관계
8.5 부분순서

09 그래프
9.1 그래프와 그래프 모델들
9.2 그래프 용어와 특별한 그래프들
9.3 그래프 표현방법
9.4 연결성
9.5 오일러 경로와 해밀턴 경로
9.6 최단경로 문제
9.7 평면 그래프
9.8 그래프 채색

10 트리
10.1 트리 소개
10.2 트리의 응용
10.3 신장 트리
10.4 최소 신장 트리

11 부울 대수
11.1 부울 함수
11.2 부울 함수의 표현
11.3 논리 게이트
11.4 회로의 최소화

12 계산 모델링
12.1 언어와 문법
12.2 출력이 있는 유한상태 기계
12.3 출력이 없는 유한상태 기계
12.4 언어 인식
12.5 튜링 기계