이 교재는 모두 14개의 장으로 구성되어 있다. 제1장에서는 이산수학의 개요에 대해 설명하고, 제2장과 제3장에서는 논리와 증명에 관해 다룬다. 제4장에서는 이산수학에서 요구되는 집합의 기본 지식을 설명하고, 제5장에서는 행렬에 관한 일반적인 설명과 함께 부울행렬을 다룬다. 제6장과 제7장에서는 각각 관계와 함수에 관해 설명하며, 제8장에서는 0과 1로 구성된 집합을 대상으로 구성되는 대수인 부울대수에 관해 다룬다. 제9장과 제10장에서는 그래프에 관한 일반적인 설명과 함께 그래프의 응용에 관해 다룬다. 제11장에서는 그래프의 특수한 형태인 트리에 관해 설명하는데, 특히 자료구조론에서 배우게 되는 탐색 트리에 관해서도 다룬다. 제12장에서는 순열과 조합 등과 관련된 조합이론을 설명한다. 제13장에서는 호제법, 나머지 함수, 소인수정리 등 현대 암호학에서 반드시 필요한 정수론을 다룬다. 마지막으로 제14장에서는 튜링머신이 포함된 오토마타에 관한 이론과 함께 프로그래밍 언어를 위한 형식 언어 등을 다룬다.
제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 다양한 증명방법
제13장 정수론 13.1 나눗셈 13.2 나머지 연산 13.3 소수와 소인수분해 13.4 RSA 암호
제14장 오토마타 및 형식 언어 14.1 오토마타 14.2 유한 오토마타 14.3 마르코프 연쇄 14.4 형식 언어와 형식 문법
찾아보기
손진곤 (집필)
고려대학교 이과대학 수학과 졸업(이학사) 고려대학교 대학원 수학과 전산학 전공(이학석사, 이학박사) 한국정보과학회 학회지 편집위원 역임 한국정보처리학회 부회장 역임 현 이러닝학회 부회장 미국 The State University of New York at Stony Brook, 호주 Melbourne University, 미국 Indiana University 방문학자 ∙ 현재: 한국방송통신대학교 컴퓨터과학과 교수 ∙ 저서: 정보통신망 (공저, 한국방송통신대학교출판문화원), C언어로 설명한 자료구조론 (공저, 정익사), 선형대수 (공저, 한국방송통신대학교출판문화원), Java 언어로 설명한 자료구조론 (공저, 정익사) 등