이산수학

Chapter 01 이산수학을 위한 기본 개념
1.1 이산수학이란?
1.2 이산수학의 전형적인 문제 : 마술카드
1.3 자연수와 정수의 성질
1.4 행렬
연습문제
프로그래밍 실습

Chapter 02 수학적 모델과 논리
2.1 수학적 모델
2.2 논리적 추론
2.3 증명 기술과 프로그램 검증
2.4 응용 : 지식 베이스 시스템
연습문제
프로그래밍 실습

Chapter 03 집합
3.1 집합의 개념
3.2 집합의 연산
3.3 집합의 대수적 성질
연습문제
프로그래밍 실습

Chapter 04 관계
4.1 곱집합
4.2 관계와 관계 표현
4.3 경로
4.4 관계의 성질
4.5 역관계와 합성 관계
4.6 연결 관계와 와샬 알고리즘
연습문제
프로그래밍 실습

Chapter 05 함수
5.1 함수의 정의
5.2 단사 함수, 전사 함수, 전단사 함수
5.3 역함수와 합성 함수
5.4 특수 함수
5.5 응용 : 순열
연습문제
프로그래밍 실습

Chapter 06 부분 순서 관계와 부울 대수
6.1 부분 순서 관계
6.2 부분 순서 집합의 상한과 하한
6.3 격자
6.4 특별한 형태의 격자
6.5 부울 대수
6.6 응용 : 2-비트 가산기의 설계
연습문제

Chapter 07 그래프
7.1 그래프의 기본 개념
7.2 여러 가지 그래프
7.3 평면 그래프
7.4 정점의 착색
연습문제
프로그래밍 실습

Chapter 08 트리
8.1 트리의 기본 개념
8.2 레이블을 갖는 트리와 최소 스패닝 트리
8.3 트리 탐방 알고리즘
연습문제
프로그래밍 실습

Chapter 09 경우의 수 세기와 확률
9.1 세기의 기본 원리
9.2 순열과 조합
9.3 이항정리와 다항정리
9.4 확률의 기초 및 조건부 확률
연습문제

Chapter 10 점화 관계와 알고리즘
10.1 점화 관계
10.2 알고리즘과 의사코드
10.3 알고리즘의 복잡도
10.4 여러 가지 알고리즘
연습문제
프로그래밍 실습

Chapter 11 형식 언어와 오토마타
11.1 형식 언어
11.2 형식 문법
11.3 문법의 표기법
11.4 유한 오토마타
11.5 응용 : 선교사와 식인종 문제
연습문제
프로그래밍 실습