한빛아카데미
집필서
판매중
[장별 내용 요약]
▶ 이산수학을 위한 기본 개념(1장)
1장에서는 이산수학이 무엇인지에 대해 살펴보고, 이산수학의 교육 과정을 알아본다. 이산수학의 전형적인 문제를 통해 이산수학의 개념도 살펴본다. 그리고 정수론과 행렬 등 이 책을 공부하는 데 필요한 기본 개념들을 간단히 설명한다.
▶ 수학적 모델과 논리(2장), 집합(3장)
2장에서는 수학적 모델과 논리적 추론을 다룬다. 또한 여러 증명 기술과 프로그램 검증 방법을 살펴본다. 3장에서는 이산수학의 가장 기본 개념인 집합에 대해 다룬다. 집합의 연산과 대수적성질을 살펴본다.
▶ 관계(4장), 함수(5장), 부분 순서 관계와 부울 대수(6장)
4장에서는 집합의 원소들 사이의 관계를 다루고, 5장에서는 연계된 함수를 다룬다. 6장에서는 관계 중 부분 순서 관계와 부울 대수에 대해 살펴본다.
▶ 그래프(7장), 트리(8장)
7장에서는 그래프의 기본 개념을 이해하고, 여러 가지 그래프를 살펴본다. 8장에서는 트리의 기본 개념을 이해하고, 레이블을 갖는 트리와 최소 스패닝 트리 등을 살펴본다.
▶ 경우의 수 세기와 확률(9장)
9장에서는 세기의 기본 원리와 확률을 다룬다. 이를 응용한 이항정리와 다항정리도 살펴본다.
▶ 점화 관계와 알고리즘(10장)
10장에서는 점화 관계와 알고리즘을 설명한다. 알고리즘과 의사코드를 포함해 여러 가지 알고리즘을 살펴본다.
▶ 형식 언어와 오토마타(11장)
11장에서는 형식 언어와 오토마타를 다룬다. 그리고 형식 언어를 만들기 위한 형식 문법과 형식 언어를 표현하는 문법의 표기법을 살펴본다.