AI 시대의 이산수학 with 파이썬

목차 (Table of Contents)

• 목차
• 지은이 소개 = 2
• 지은이 머리말 = 3
• 미리보기 = 4
• 강의 및 학습 보조자료와 참고문헌 = 6
• CHAPTER 01 이산수학을 위한 기본 개념
• 1.1 이산수학이란? = 13
• 1.2 이산수학 교육과정 = 16
• 1.3 이산수학의 전형적인 문제 : 마술카드 = 19
• 연습문제 = 26
• 프로그래밍 실습 = 27
• CHAPTER 02 자연수와 행렬
• 2.1 수 체계 = 33
• 2.2 자연수와 정수 = 37
• 2.3 소수와 최대공약수 = 43
• 2.4 행렬의 개념과 행렬식 = 49
• 2.5 연립일차방정식과 역행렬 = 67
• 연습문제 = 79
• 프로그래밍 실습 = 84
• CHAPTER 03 수학적 모델과 논리
• 3.1 수학적 모델 = 95
• 3.2 논리적 추론 = 97
• 3.3 증명과 프로그램 검증 = 116
• 3.4 응용 : 지식 베이스 시스템 = 127
• 연습문제 = 130
• 프로그래밍 실습 = 136
• CHAPTER 04 집합
• 4.1 집합의 개념 = 141
• 4.2 집합의 연산 = 150
• 4.3 집합의 대수적 성질 = 156
• 연습문제 = 161
• 프로그래밍 실습 = 167
• CHAPTER 05 관계
• 5.1 곱집합 = 173
• 5.2 관계와 관계 표현 = 177
• 5.3 경로 = 185
• 5.4 관계의 성질 = 191
• 5.5 역관계와 합성관계 = 205
• 5.6 연결관계와 와샬 알고리즘 = 213
• 연습문제 = 226
• 프로그래밍 실습 = 237
• CHAPTER 06 함수
• 6.1 함수의 정의 = 245
• 6.2 단사함수, 전사함수, 전단사함수 = 249
• 6.3 역함수와 합성함수 = 253
• 6.4 특수한 함수 = 258
• 6.5 응용 : 순열 = 264
• 연습문제 = 268
• 프로그래밍 실습 = 272
• CHAPTER 07 부분순서관계와 부울대수
• 7.1 부분순서관계 = 277
• 7.2 상한과 하한 = 286
• 7.3 격자 = 294
• 7.4 특별한 형태의 격자 = 299
• 7.5 부울대수 = 306
• 7.6 응용 : 2-비트 가산기의 설계 = 311
• 연습문제 = 314
• 프로그래밍 실습 = 323
• CHAPTER 08 그래프
• 8.1 그래프의 기본 개념 = 329
• 8.2 여러 가지 그래프 = 339
• 8.3 그래프 탐색과 최단 경로 = 351
• 8.4 평면 그래프와 그래프 착색 = 360
• CHAPTER 09 트리
• 9.1 트리의 기본 개념 = 375
• 9.2 레이블을 갖는 트리와 최소 스패닝 트리 = 381
• 9.3 이진 트리와 트리 탐방 알고리즘 = 390
• 연습문제 = 397
• 프로그래밍 실습 = 401
• CHAPTER 10 경우의 수 세기와 확률
• 10.1 세기의 기본 원리 = 407
• 10.2 순열과 조합 = 413
• 10.3 이항정리와 다항정리 = 421
• 10.4 확률의 기초 및 조건부 확률 = 426
• 연습문제 = 435
• CHAPTER 11 점화 관계와 알고리즘
• 11.1 점화 관계 = 441
• 11.2 알고리즘과 의사코드 = 449
• 11.3 알고리즘의 복잡도 = 454
• 11.4 여러 가지 알고리즘 = 459
• 연습문제 = 473
• 프로그래밍 실습 = 477
• CHAPTER 12 형식 언어와 오토마타
• 12.1 형식 언어 = 485
• 12.2 형식 문법 = 490
• 12.3 문법의 표기법 = 499
• 12.4 유한 오토마타 = 506
• 12.5 응용 : 선교사와 식인종 문제 = 524
• 연습문제 = 526
• 프로그래밍 실습 = 532
• 부록 : 이산수학에서 사용되는 개념의 표기법 = 537
• 찾아보기 = 539