이산수학 (워크북 포함)

제1장 이산수학의 개요
1.1 이산수학이란
1.2 모델링과 추상화
1.3 알고리즘 언어
1.4 이산수학의 응용 분야

제2장 논리
2.1 명제
2.2 논리연산
2.3 술어논리
2.4 추론

제3장 증명
3.1 기본사항
3.2 직접증명법
3.3 수학적 귀납법
3.4 간접증명법
3.5 다양한 증명방법

제4장 집합론
4.1 기본사항
4.2 집합의 연산
4.3 집합의 대수법칙

제5장 행렬
5.1 기본사항
5.2 행렬의 연산
5.3 행렬의 종류
5.4 부울행렬

제6장 관계
6.1 기본사항
6.2 관계의 표현
6.3 관계의 성질
6.4 관계의 종류

제7장 함수
7.1 기본사항
7.2 전사함수, 단사함수, 역함수
7.3 함수의 종류

제8장 부울대수
8.1 기본사항
8.2 부울대수, 부울식, 부울함수
8.3 부울함수의 대수적 간소화

제9장 그래프 1
9.1 기본사항
9.2 그래프의 종류
9.3 그래프의 표현

제10장 그래프 2
10.1 그래프의 탐색
10.2 그래프의 활용

제11장 트리
11.1 기본사항
11.2 이진 트리
11.3 이진 탐색 트리
11.4 트리의 활용

제12장 조합이론
12.1 기본 계수법칙
12.2 순열 12.3 조합
12.4 이산확률
12.5 점화식
12.6 비둘기집 원리

제13장 정수론
13.1 나눗셈
13.2 나머지 연산
13.3 소수와 소인수분해
13.4 RSA 암호

제14장 오토마타 및 형식 언어
14.1 오토마타
14.2 유한 오토마타
14.3 마르코프 연쇄
14.4 형식 언어와 형식 문법