이산수학 = Discrete mathematics / 2판
윤성대, 이경연, 조우현 공저
목차
목차 일부
1장 기본개념
1.1 이산수학의 개념 = 3
1.2 수학적 모델 = 3
1.3 수학적 귀납법 = 4
1.4 되부름 = 6
1.5 함수 = 8
1.6 알고리즘과 복잡도 = 13
연습문제 = 20
2장 논리
2.1 논리의 개념 = 25
2.2 명제논리 = 25
2.2.1 부정 = 26
2.2.2 논리곱 = 27
2.2.3 논리합 = ...
1.1 이산수학의 개념 = 3
1.2 수학적 모델 = 3
1.3 수학적 귀납법 = 4
1.4 되부름 = 6
1.5 함수 = 8
1.6 알고리즘과 복잡도 = 13
연습문제 = 20
2장 논리
2.1 논리의 개념 = 25
2.2 명제논리 = 25
2.2.1 부정 = 26
2.2.2 논리곱 = 27
2.2.3 논리합 = ...
목차 전체
1장 기본개념
1.1 이산수학의 개념 = 3
1.2 수학적 모델 = 3
1.3 수학적 귀납법 = 4
1.4 되부름 = 6
1.5 함수 = 8
1.6 알고리즘과 복잡도 = 13
연습문제 = 20
2장 논리
2.1 논리의 개념 = 25
2.2 명제논리 = 25
2.2.1 부정 = 26
2.2.2 논리곱 = 27
2.2.3 논리합 = 27
2.2.4 조건문(Conditional Statement) = 28
2.2.5 항진명제와 모순명제 = 29
2.2.6 논리적 동치 = 30
2.2.7 논리적 함축 = 32
2.2.8 명제 논리식의 해석 = 33
2.2.9 명제논리에서 논리적 추론 = 34
2.3 술어논리 = 35
2.3.1 한정자(quantifier) = 36
2.3.2 술어 논리식들의 논리적 관계 = 37
2.3.3 술어 논리식에서 논리적 추론 = 39
2.4 응용 분야 = 40
2.4.1 추론 규칙 = 41
2.4.2 데이터베이스(database) = 41
2.4.3 질의(query) = 42
연습문제 = 43
3장 집합
3.1 집합의 개념 = 49
3.2 집합의 연산 = 51
3.2.1 합집합(union):A∪B = 52
3.2.2 교집합(intersection) : A∩B = 52
3.2.3 차집합(difference) : A - B = 54
3.2.4 보집합(complement) : $$\bar A$$ = 54
3.2.5 대칭 차집합(symmetric difference) : A○B = 55
3.2.6 카티전 곱 = 55
3.3 집합의 대수적 성질 = 57
3.4 집합의 컴퓨터 표현 = 60
3.5 퍼지집합 = 61
연습문제 = 65
4장 관계
4.1 관계의 정의와 성질 = 71
4.2 관계의 표현 = 75
4.2.1 행렬 표현 = 75
4.2.2 유향 그래프 표현 = 77
4.2.3 화살표 도표 표헌 = 77
4.2.4 좌표 도표 표현 = 78
4.2.5 연결 리스트 표현 = 79
4.3 관계의 연산 = 80
4.4 관계의 폐쇄 = 85
4.4.1 반사적 폐쇄 = 85
4.4.2 대칭적 폐쇄 = 86
4.4.3 추이적 폐쇄 = 86
4.4.4 Warshall 알고리즘 = 89
4.5 동치류 = 92
연습문제 = 97
5장 격자와 부울대수
5.1 부분순서 관계 = 103
5.2 격자 = 109
5.3 부울 대수 = 113
5.4 부울 함수 = 116
5.5 카르노 맵 = 119
연습문제 = 124
6장 그래프
6.1 그래프의 정의 = 131
6.2 그래프의 종류와 특성 = 136
6.3 착색 = 147
연습문제 = 151
7장 트리
7.1 트리(tree) = 157
7.2 이진 탐색트리와 트리 운행 = 166
연습문제 = 171
8장 형식 시스템
8.1 언어(language) = 175
8.2 언어의 문법 = 178
8.3 문법의 계층 구조 = 183
8.4 정규문법과 유한 오토마타 = 186
8.5 문맥자유 문법과 푸시다운 오토마타 = 199
8.6 문법-직접 번역 체계와 번역기 = 207
8.6.1 문법-직접 번역 체계 = 207
8.6.2 유한 번역기 = 211
8.6.3 푸시다운 번역기 = 213
8.7 튜링기계 = 216
연습문제 = 221
9장 셈과 조합론
9.1 셈의 기본원리 = 229
9.2 순열과 조합 = 231
9.3 이항정리 = 239
9.4 포함-배제 원리 = 242
9.5 비둘기집 원리 = 244
연습문제 = 249
찾아보기 = 251
1.1 이산수학의 개념 = 3
1.2 수학적 모델 = 3
1.3 수학적 귀납법 = 4
1.4 되부름 = 6
1.5 함수 = 8
1.6 알고리즘과 복잡도 = 13
연습문제 = 20
2장 논리
2.1 논리의 개념 = 25
2.2 명제논리 = 25
2.2.1 부정 = 26
2.2.2 논리곱 = 27
2.2.3 논리합 = 27
2.2.4 조건문(Conditional Statement) = 28
2.2.5 항진명제와 모순명제 = 29
2.2.6 논리적 동치 = 30
2.2.7 논리적 함축 = 32
2.2.8 명제 논리식의 해석 = 33
2.2.9 명제논리에서 논리적 추론 = 34
2.3 술어논리 = 35
2.3.1 한정자(quantifier) = 36
2.3.2 술어 논리식들의 논리적 관계 = 37
2.3.3 술어 논리식에서 논리적 추론 = 39
2.4 응용 분야 = 40
2.4.1 추론 규칙 = 41
2.4.2 데이터베이스(database) = 41
2.4.3 질의(query) = 42
연습문제 = 43
3장 집합
3.1 집합의 개념 = 49
3.2 집합의 연산 = 51
3.2.1 합집합(union):A∪B = 52
3.2.2 교집합(intersection) : A∩B = 52
3.2.3 차집합(difference) : A - B = 54
3.2.4 보집합(complement) : $$\bar A$$ = 54
3.2.5 대칭 차집합(symmetric difference) : A○B = 55
3.2.6 카티전 곱 = 55
3.3 집합의 대수적 성질 = 57
3.4 집합의 컴퓨터 표현 = 60
3.5 퍼지집합 = 61
연습문제 = 65
4장 관계
4.1 관계의 정의와 성질 = 71
4.2 관계의 표현 = 75
4.2.1 행렬 표현 = 75
4.2.2 유향 그래프 표현 = 77
4.2.3 화살표 도표 표헌 = 77
4.2.4 좌표 도표 표현 = 78
4.2.5 연결 리스트 표현 = 79
4.3 관계의 연산 = 80
4.4 관계의 폐쇄 = 85
4.4.1 반사적 폐쇄 = 85
4.4.2 대칭적 폐쇄 = 86
4.4.3 추이적 폐쇄 = 86
4.4.4 Warshall 알고리즘 = 89
4.5 동치류 = 92
연습문제 = 97
5장 격자와 부울대수
5.1 부분순서 관계 = 103
5.2 격자 = 109
5.3 부울 대수 = 113
5.4 부울 함수 = 116
5.5 카르노 맵 = 119
연습문제 = 124
6장 그래프
6.1 그래프의 정의 = 131
6.2 그래프의 종류와 특성 = 136
6.3 착색 = 147
연습문제 = 151
7장 트리
7.1 트리(tree) = 157
7.2 이진 탐색트리와 트리 운행 = 166
연습문제 = 171
8장 형식 시스템
8.1 언어(language) = 175
8.2 언어의 문법 = 178
8.3 문법의 계층 구조 = 183
8.4 정규문법과 유한 오토마타 = 186
8.5 문맥자유 문법과 푸시다운 오토마타 = 199
8.6 문법-직접 번역 체계와 번역기 = 207
8.6.1 문법-직접 번역 체계 = 207
8.6.2 유한 번역기 = 211
8.6.3 푸시다운 번역기 = 213
8.7 튜링기계 = 216
연습문제 = 221
9장 셈과 조합론
9.1 셈의 기본원리 = 229
9.2 순열과 조합 = 231
9.3 이항정리 = 239
9.4 포함-배제 원리 = 242
9.5 비둘기집 원리 = 244
연습문제 = 249
찾아보기 = 251
태그가 저장되었습니다. 
태그저장 중 오류가 발생하였습니다. 재시도 하십시오. 
QUICK MENU
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다. 한글 기준 10자 이상 작성해 주세요.
서평추가