이 책은 12장과 부록으로 이루어져 있다. 

제1장～제3장에서는 수학적 논리 기초와 연산을 살펴보고 추론과 술어 논리를 소개한다. 집합에 관한 기본 개념과 연산을 바탕으로 분할 및 집합의 기수에 관하여 기술한다. 컴퓨터 과학에서 유용하게 사용되는 다양한 관계를 소개하고 동치관계와 분할과의 관계, 순서관계 등을 소개하고 컴퓨터 과학에 응용할 하세 도형을 기술한다.
제4, 5장에서는 컴퓨터 과학에서 활용되는 특성함수, 수치함수, 생성함수를 바탕으로 함수의 역할을 소개한다. 특히, 다양한 증명법을 소개함으로써 수학적 논리성을 강조한다.
제6, 7장에서는 그래프의 기본 개념을 바탕으로 그래프 이론의 활용 분야를 소개한다. 특히 이진트리의 표현과 탐방을 통한 트리의 활용에 역점을 둔다.
제8, 9장에서는 부울대수의 기본 개념을 바탕으로 부울식, 부울함수 및 논리회로 설계를 소개한다. 더 나아가 행렬과 행렬식의 기본성질과 파이썬 프로그램을 이용한 각종 연산을 소개한다.
제10, 11장에서는 유한오토마타의 응용을 소개하고 알고리즘의 복잡성과 분석을 부분적으로 다루었으며 의사코드 형태와 순서도, 정렬알고리즘과 탐색알고리즘을 소개한다.
제12장에서는 퍼지집합과 유전자 알고리즘을 소개하고 퍼지집합의 연산과 관계를 다룬다. 특히 유전자 알고리즘을 이용한 함수의 최적화 문제를 소개한다. 

부록은 파이썬의 설치 및 기본적인 프로그래밍 언어 사용법을 기술하였다.
부록으로 소개된 파이썬 내용을 먼저 익혀야만 실습을 할 수 있기에 부록을 먼저 이해하길 바라며 많은 학생들이 더 쉽고 효율적으로 이산수학을 이해하길 기대한다.

-머리말 중에서-

제1장  수학적 논리
1.1 논리와 명제 3
1.2 논리 연산 4
1.3 항진 명제와 모순 명제 8
1.4 추  론 12
1.5 술어 논리 13

제2장  집  합
2.1 집합의 표현 21
2.2 집합의 연산 24
2.3 집합류와 멱집합 29

제3장  관  계
3.1 이항관계 37
3.2 관계의 표현 39
3.3 합성관계 42
3.4 관계의 성질 46
3.5 동치관계와 분할 52
3.6 순서관계 55

제4장  수치함수와 응용
4.1 함수의 정의 65
4.2 함수의 그래프 66
4.3 단사함수, 전사함수, 전단사함수 67
4.4 여러 가지 함수 70
4.5 순  열 74
4.6 수치함수와 연산 77
4.7 생성함수 80
4.8 컴퓨터 언어에서의 함수의 역할 82

제5장  증명법
5.1 증명 방법 91
5.2 수학적 귀납법 92
5.3 모순 증명법 93
5.4 직접 증명법 94
5.5 반례 증명법 94
5.6 되부름 관계식 95

제6장  그래프
6.1 그래프의 기본 개념 101
6.2 그래프의 용어 102
6.3 그래프의 표현 방법 107
6.4 특수 형태의 그래프 108
6.5 그래프와 관계 116
6.6 그래프의 응용 118
6.7 그래프 탐색 121

제7장  트  리
7.1 기본 용어 131
7.2 방향트리 133
7.3 이진트리 133
7.4 이진트리의 표현 135
7.5 이진트리의 탐방 136
7.6 생성트리와 최소 생성트리 140
7.7 트리의 활용 143

제8장  부울 대수
8.1 부울식 155
8.2 부울식의 표현 157
8.3 부울 함수의 간소화 161
8.4 논리 회로 설계 167

제9장  수학적 논리
9.1 행  렬 177
9.2 행렬식 182

제10장  오토마타 이론과 튜링 머신
10.1 오토마타 191
10.2 유한 오토마타 193
10.3 오토마타의 응용 195
10.4 튜링머신 모델 197

제11장  알고리즘
11.1 알고리즘 분석 206
11.2 알고리즘의 복잡성 208
11.3 되부름 함수의 복잡성 209
11.4 의사 코드의 형태와 순서도 212
11.5 정렬 알고리즘 218
11.6 탐색 알고리즘 222

제12장  퍼지와 유전자 알고리즘
12.1 퍼지집합의 개요 232
12.2 확장된 퍼지집합 234
12.3 퍼지집합의 연산 237
12.4 퍼지관계 238
12.5 확장 원리 241
12.6 유전자 알고리즘의 개요 및 원리 242
12.6 유전자 알고리즘을 이용한 단순한 함수의 최적화 문제 246

부록: 파이썬
1. 파이썬 설치하기 253
2. 파이썬 시작하기 254
3. 제어 구조 260
4. 함  수 263
5. 자료 구조 269
6. 모  듈 275

참고문헌  283
찾아보기  285

배송정보

교환/반품 정보