목차 일부

머리말 ... ⅲ
제1장 논리(Logic)
 1-1 명제, 연결사 및 진리표(Propositions, connectives and Truth Tables) ... 2
 1-2 논리적 동치(Logical Equivalence) ... 14
 1-3 논리함축과 추론규칙(Logical Implication and Rules of Inference) ... 19
...

더보기

목차 전체

머리말 ... ⅲ
제1장 논리(Logic)
 1-1 명제, 연결사 및 진리표(Propositions, connectives and Truth Tables) ... 2
 1-2 논리적 동치(Logical Equivalence) ... 14
 1-3 논리함축과 추론규칙(Logical Implication and Rules of Inference) ... 19
 1-4 술어와 한정기호(Predicates and Quantifiers) ... 28
 1-5 증명의 방법(Methods of Proof) ... 35
제2장 기초(The Foundation) : 집합 및 함수(Sets and Functions)
 2-0 이산수학 혹은 이산구조란? (What is discrete mathematics or discrete mathematical structures?) ... 42
 2-1 집합(Set Theory) ... 43
 2-2 관계(Relations) ... 61
 2-3 함수(Functions) ... 110
 2-4 함수의 성장(The Growth of Functions) ... 130
제3장 근본(The fundamentals) : 알고리즘, 알고리즘의 복잡성 및 알고리즘의분석 (Algorithms, Complexity and Analysis of Algorithms)
 3-1 알고리즘(Algorithms) ... 142
 3-2 알고리즘의 복잡성(Complexity of Algorithms) ... 148
 3-3 알고리즘의 분석(Analysis of Algorithms) ... 157
제4장 수학적 귀납법 및 계산(Mathematical Induction and Counting)
 4-1 수학적 귀납법 ... 174
 4-2 순열(Permutations)과 조합(Combinations) ... 177
제5장 근본적 원리(Fundamental Principles)
 5-1 비둘기집 원리(The Pigeonhole Principle) ... 188
 5-2 램지의 성질(Ramsey's Property) ... 191
제6장 이산수치함수와 생성함수(Discrete Numeric Functions and Generating Functions)
 6-1 서론(Introduction) ... 198
 6-2 수치함수의 연산(Manipulation of Numeric Functions) ... 200
 6-3 생성함수(Generating Functions) ... 203
 6-4 조합의 문제(Combinatorial Problems) ... 210
제7장 점화관계(Recurrence Relations)
 7-1 서론(Introduction) ... 216
 7-2 상수계수들을 갖는 선형점화관계(Linear Recurrence Relations with Constant Coefficients) ... 217
제8장 그래프와 평면그래프(Graphs and Planar Graphs)
 8-1 기본적인 용어(Basic Terminology) ... 226
 8-2 경로(Paths) 및 순회(Circuits) ... 232
 8-3 오일러 경로 및 순회(Eulerian Paths and Circuits) ... 239
 8-4 헤밀턴 경로 및 순회(Hamiltonian Paths and Circuits) ... 247
 8-5 순회판매원 문제(The Traveling Salesperson Problem) ... 256
 8-6 평면그래프(Planar Graphs) ... 259
제9장 그래프와 알고리즘(Graphs and Algorithms)
 9-1 최단경로 알고리즘(Shortest - Path Algorithms) ... 274
 9-2 위상분류 알고리즘 및 AOV 망(Topological Sort and AOV - networks) ... 295
 9-3 최적수송망 알고리즘(Optimal Transport Network Algorithms) ... 304
제10장 수형도(Trees)
 10-1 기본용어 및 기본정리(Basic Terminology and Theorems) ... 326
 10-2 근수형도(Rooted Trees) ... 331
 10-3 근수형도에서 경로길이(Path Lengths in Rooted Trees) ... 340
 10-4 접두코드와 최적수형도(Prefix Codes and Optimal Trees) ... 344
 10-5 생성수형도(Spanning Trees) ... 353
제11장 수형도와 알고리즘(Trees and Algorithms)
 11-1 심도일차탐색(Depth - First Search) 알고리즘 ... 366
 11-2 최소생성수형도 알고리즘(Algorithms for Minimum Spanning Trees) ... 380
 11-3 이진탐색주형도 및 알고리즘(Binary Search Trees and Algorithms) ... 391
 11-4 데이터 구조(Data Structures) ... 400
 11-5 수형도 운행 및 알고리즘(Tree Traversal and Algorithms) ... 402
 11-6 수형도와 분류 알고리즘(Trees and Sorting Algorithms) ... 413
제12장 언어와 유한상태 기계(Languages and Finite State Machines)
 12-1 언어(Languages) ... 428
 12-2 형식문법(Formal Grammars) ... 432
 12-3 정규문법과 정규표현(Regular Grammars and Regular Expressions) ... 441
 12-4 유한상태 수용기와 언어(Finite State Accepters and Languages) ... 445
연습문제 해답 ... 463
찾아보기 ... 489
참고문헌 ... 493

더보기 닫기