이산수학 : tool 중심으로 이해하는 새로운 시각

목차 (Table of Contents)

• 목차
• 지은이 소개 = 2
• 지은이 머리말 = 3
• 미리보기 = 4
• 강의 보조 자료 및 참고 문헌 = 6
• Chapter 01 이산수학을 위한 기본 개념
• 1.1 이산수학이란? = 13
• 1.2 이산수학의 전형적인 문제 : 마술카드 = 18
• 1.3 자연수와 정수의 성질 = 24
• 1.4 행렬 = 31
• 연습문제 = 51
• 프로그래밍 실습 = 56
• Chapter 02 수학적 모델과 논리
• 2.1 수학적 모델 = 71
• 2.2 논리적 추론 = 73
• 2.3 증명 기술과 프로그램 검증 = 94
• 2.4 응용 : 지식 베이스 시스템 = 105
• 연습문제 = 108
• 프로그래밍 실습 = 114
• Chapter 03 집합
• 3.1 집합의 개념 = 119
• 3.2 집합의 연산 = 126
• 3.3 집합의 대수적 성질 = 132
• 연습문제 = 138
• 프로그래밍 실습 = 144
• Chapter 04 관계
• 4.1 곱집합 = 149
• 4.2 관계와 관계 표현 = 152
• 4.3 경로 = 158
• 4.4 관계의 성질 = 163
• 4.5 역관계와 합성 관계 = 172
• 4.6 연결 관계와 와샬 알고리즘 = 180
• 연습문제 = 190
• 프로그래밍 실습 = 200
• Chapter 05 함수
• 5.1 함수의 정의 = 207
• 5.2 단사 함수, 전사 함수, 전단사 함수 = 211
• 5.3 역함수와 합성 함수 = 215
• 5.4 특수 함수 = 218
• 5.5 응용 : 순열 = 225
• 연습문제 = 229
• 프로그래밍 실습 = 233
• Chapter 06 부분 순서 관계와 부울 대수
• 6.1 부분 순서 관계 = 237
• 6.2 부분 순서 집합의 상한과 하한 = 246
• 6.3 격자 = 251
• 6.4 특별한 형태의 격자 = 257
• 6.5 부울 대수 = 262
• 6.6 응용 : 2-비트 가산기의 설계 = 266
• 연습문제 = 269
• Chapter 07 그래프
• 7.1 그래프의 기본 개념 = 279
• 7.2 여러 가지 그래프 = 287
• 7.3 평면 그래프 = 300
• 7.4 정점의 착색 = 305
• 연습문제 = 307
• 프로그래밍 실습 = 312
• Chapter 08 트리
• 8.1 트리의 기본 개념 = 317
• 8.2 레이블을 갖는 트리와 최소 스패닝 트리 = 322
• 8.3 트리 탐방 알고리즘 = 329
• 연습문제 = 334
• 프로그래밍 실습 = 337
• Chapter 09 경우의 수 세기와 확률
• 9.1 세기의 기본 원리 = 343
• 9.2 순열과 조합 = 349
• 9.3 이항정리와 다항정리 = 357
• 9.4 확률의 기초 및 조건부 확률 = 362
• 연습문제 = 371
• Chapter 10 점화 관계와 알고리즘
• 10.1 점화 관계 = 377
• 10.2 알고리즘과 의사코드 = 386
• 10.3 알고리즘의 복잡도 = 391
• 10.4 여러 가지 알고리즘 = 397
• 연습문제 = 414
• 프로그래밍 실습 = 418
• Chapter 11 형식 언어와 오토마타
• 11.1 형식 언어 = 429
• 11.2 형식 문법 = 436
• 11.3 문법의 표기법 = 445
• 11.4 유한 오토마타 = 452
• 11.5 응용 : 선교사와 식인종 문제 = 465
• 연습문제 = 467
• 프로그래밍 실습 = 472
• 부록 = 478
• 찾아보기 = 480