전산수학 및 전산이론을 위한 이산수학 및 응용

제1장 논리
- 명제.연결사 및 진리표
- 논리적 동치
- 논리함축과 추론규칙
- 술어와 한정기호
- 증명의 방법

제2장 기초:집합 및 함수
- 이산수학 혹은 이산구조란?
- 집합
- 퍼지집합
- 관계
- 함수
- 함수의 성장

제3장 근본: 알고리즘.알고리즘의 복잡성 및 알고리즘의 분석
- 알고리즘
- 알고리즘의 복잡성
- 알고리즘의 분석

제4장 수학적 귀납법 및 계산
- 수학적 귀납법
- 순열과 조합

제5장 근본적 원리
- 비둘기집 원리
- 램지의 성질

제6장 이산수치함수와 생성함수
- 서론
- 수치함수의 연산
- 생성함수
- 조합의 문제

제7장 점화관계
- 서론
- 상수계수들을 갖는 선형점화관계
- 점화관계를 푸는 세가지 방법

제8장 그래프와 평면그래프
- 기본적인 용어
- 부분그래프
- 경로.순회 및 연결성
- 꼭지점 차수
- 그래프의 행렬 표현
- 그래프의 동형사상
- 오일러 경로 및 순회
- 해밀턴 경로 및 순회
- 순회판매원 문제
- 평면 그래프

제9장 그래프와 알고리즘
- 최단경로 알고리즘
- 위상분류 알고리즘 및 AOV망
- 최적수송망 알고리즘

제10장 수형도
- 기본용어및 기본정리
- 근수형도
- 근수형도에서 경로길이
- 접두코드와 최적수형도
- 생성수형도

제11장 수형도와 알고리즘
- 심도일차탐색 알고리즘
- 최소생성수형도 알고리즘
- 이진탐색수형도 및 알고리즘
- 데이터 구조
- 수형도 운행 및 알고리즘
- 수형도와 분류알고리즘

제12장 형식언어와 유한상태 기계
- 형식언어
- 형식문법
- 정규문법과 정규표현
- 유한상태 수용기와 언어

- 참고문헌
- 연습문제 해답
- 찾아보기