목차 일부
제1장 수학적 논리(Mathematical Logic)
1.1 논리와 명제(Logic and Propositions) ... 10
1.2 논리 연산(Logical Operations) ... 11
1.3 항진 명제와 모순 명제 ... 19
1.4 추론(Argument) ... 23
1.5 술어 논리(Predicate logic) ...
더보기
목차 전체
제1장 수학적 논리(Mathematical Logic)
1.1 논리와 명제(Logic and Propositions) ... 10
1.2 논리 연산(Logical Operations) ... 11
1.3 항진 명제와 모순 명제 ... 19
1.4 추론(Argument) ... 23
1.5 술어 논리(Predicate logic) ... 26
연습문제 ... 32
제2장 집합(Set)
2.1 집합의 표현(Representation of Sets) ... 38
2.2 집합의 연산(Operations on Sets) ... 43
2.3 집합류와 멱집합(Class and power Sets) ... 51
2.4 집합의 분할(Partitions of a Sets) ... 53
연습문제 ... 55
제3장 관계(Relations)
3.1 이항 관계 ... 62
3.2 관계의 표현 ... 65
3.3 합성 관계 ... 69
3.4 관계의 성질 ... 77
3.5 동치 관계와 분할 ... 83
3.6 순서 관계 ... 87
연습문제 ... 91
제4장 함수(Functions)
4.1 함수의 정의 ... 100
4.2 함수의 그래프 ... 102
4.3 단사 함수, 전사 함수, 전단사 함수 ... 104
4.4 여러 가지 함수 ... 108
4.5 순열 ... 116
4.6 컴퓨터 언어에서의 함수의 역할 ... 121
연습문제 ... 123
제5장 증명법
5.1 증명 방법 ... 130
5.2 수학적 귀납법의 원리 ... 130
5.3 모순 증명법 ... 134
5.4 직접 증명법 ... 135
5.5 반례 증명법 ... 135
5.6 순환 관계식 ... 136
연습문제 ... 138
제6장 그래프(Graph)
6.1 그래프의 기본 개념 ... 142
6.2 그래프의 용어 ... 143
6.3 그래프의 표현 ... 149
6.4 특수 형태의 그래프 ... 150
6.5 그래프와 관계 ... 162
6.6 그래프의 응용 ... 164
6.7 그래프의 탐색 ... 168
연습문제 ... 172
제7장 트리(Trees)
7.1 기본 용어 ... 178
7.2 방향 트리 ... 180
7.3 이진 트리 ... 181
7.4 이진 트리의 표현 ... 183
7.5 이진 트리의 탐방 ... 184
7.6 생성 트리와 최소 생성 트리 ... 191
7.7 트리의 활용 ... 195
연습문제 ... 203
제8장 부울 대수(Boolean Algebra)
8.1 부울식 ... 210
8.2 부울식의 표현 ... 214
8.3 부울 함수의 간소화 ... 218
8.4 논리 회로 설계 ... 226
연습문제 ... 231
제9장 행렬과 행렬식
9.1 행렬 ... 238
9.2 행렬식 ... 244
연습문제 ... 253
제10장 오토마타, 문법, 언어
10.1 오토마타(Automata) ... 256
10.2 오토마타 이론과 컴퓨터 관련 학문 ... 257
10.3 오토마타와 관련된 3가지 개념 ... 259
10.4 유한 오토마타 ... 264
10.5 오토마타의 응용 ... 267
10.6 문법(grammar)과 언어(language) ... 270
10.7 튜링머신(Turing machine) ... 274
10.8 촘스키 포함 관계(Chomsky Hierarchy) ... 279
연습문제 ... 282
제11장 알고리즘(Algorithms)
11.1 알고리즘 분석 ... 288
11.2 알고리즘의 복잡성 ... 290
11.3 되부름 함수의 복잡성 ... 293
11.4 정렬 알고리즘 ... 298
11.5 탐색 알고리즘 ... 303
연습문제 ... 309
참고문헌 ... 315
찾아보기 ... 317
더보기 닫기