HOME > Detail View

Detail View

(컴퓨터학을 위한) 이산수학

(컴퓨터학을 위한) 이산수학 (Loan 8 times)

Material type
단행본
Personal Author
박덕원 朴德元
Title Statement
(컴퓨터학을 위한) 이산수학 = Discrete mathematics for computer science & engineering / 박덕원 저
Publication, Distribution, etc
서울 :   그린,   2008  
Physical Medium
397 p. : 삽화 ; 23 cm
ISBN
9788957271100
Bibliography, Etc. Note
참고문헌(p. 380)과 색인수록
000 00000cam c2200205 c 4500
001 000045476111
005 20170524170759
007 ta
008 080825s2008 ulka b 001c kor
020 ▼a 9788957271100 ▼g 93560
035 ▼a (KERIS)BIB000011400413
040 ▼a 222001 ▼c 222001 ▼d 211009
082 0 4 ▼a 004/.01/51 ▼2 22
085 ▼a 004.0151 ▼2 DDCK
090 ▼a 004.0151 ▼b 2008
100 1 ▼a 박덕원 ▼g 朴德元 ▼0 AUTH(211009)15951
245 2 0 ▼a (컴퓨터학을 위한) 이산수학 = ▼x Discrete mathematics for computer science & engineering / ▼d 박덕원 저
246 3 1 ▼a Discrete mathematics for computer science and engineering
260 ▼a 서울 : ▼b 그린, ▼c 2008
300 ▼a 397 p. : ▼b 삽화 ; ▼c 23 cm
504 ▼a 참고문헌(p. 380)과 색인수록
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Monographs(3F)/ Call Number 004.0151 2008 Accession No. 111499742 Availability Available Due Date Make a Reservation Service B M

Contents information

Author Introduction

박덕원(지은이)

<컴퓨터학을 위한 이산구조>

Information Provided By: : Aladin

Table of Contents

목차
CHAPTER 1 논리(Logic) = 11
 1.1 명제(propositions) = 12
 1.2 논리적 동치(logical equivalences) = 23
 1.3 술어논리와 한정기호(predicates logic and quantifies) = 27
 1.4 추론(arguments) = 32
 1.5 수학적 귀납법(mathematical induction) = 34
CHAPTER 2 집합(Sets) = 41
 2.1 집합의 개념(concept of a set) = 42
 2.2 집합의 연산(operations with sets) = 46
 2.3 집합의 대수(algebra of sets) = 54
 2.4 멱집합과 분할(power sets and partitions) = 56
 2.5 퍼지집합(fuzzy sets) = 59
CHAPTER 3 행렬(Matrices) = 63
 3.1 행렬의 개념(concept of matrices) = 64
 3.2 행렬의 연산(operations on matrices) = 69
 3.3 정방행렬의 행렬식(determinants of square matrix) = 74
CHAPTER 4 관계(Relations) = 83
 4.1 관계의 개념(concept of relations) = 84
 4.2 관계의 부울행렬(boolean matrices of relations) = 87
 4.3 관계의 표현(representation of relations) = 90
 4.4 관계의 컴퓨터표현(computer representations of relations) = 95
 4.5 합성관계(composition of relations) = 100
 4.6 관계의 성질(properties of relations) = 108
 4.7 관계의 폐쇄(closures of relations) = 118
 4.8 동치관계와 분할(equivalence relations and partitions) = 120
 4.9 반순서 관계(partially ordered relation) = 124
 4.10 반순서 집합의 상한과 하한 = 129
CHAPTER 5 함수(Functions) = 139
 5.1 함수의 개념(concept of functions) = 140
 5.2 특수함수(special functions) = 145
 5.3 함수의 성질(properties of functions) = 151
 5.4 함수의 합성(composition of functions) = 156
 5.5 되부름 함수(recursive function) = 161
CHAPTER 6 그래프(Graphs) = 169
 6.1 그래프의 개념(concept of graphs) = 170
 6.2 그래프의 컴퓨터 표현(computer representations of graphs) = 191
 6.3 동형그래프(isomorphic graphs) = 196
 6.4 경로와 사이클(paths and cycles) = 199
 6.5 오일러와 해밀턴 그래프(Eulerian and Hamiltonian graphs) = 206
 6.6 평면그래프(planar graphs) = 213
 6.7 그래프 색칠(graph coloring) = 221
 6.8 방향 비사이클 그래프(dag : directed acyclic graph) = 227
 6.9 기본적인 그래프 알고리즘(basic graph algorithms) = 229
CHAPTER 7 트리(Trees) = 239
 7.1 트리의 기본 개념 = 240
 7.2 생성트리(spanning tree) = 242
 7.3 루트트리(rooted trees) = 251
 7.4 2진트리(binary trees) = 261
 7.5 2진 탐색트리(binary search trees) = 275
 7.6 허프만트리(huffman trees) = 281
 7.7 결정트리(decision trees) = 290
CHAPTER 8 부울대수(Boolean Algebra) = 295
 8.1 부울대수의 개념(concept of boolean algebra) = 296
 8.2 부울식과 부울함수(boolean expressions and boolean functions) = 299
 8.3 논리 게이트(logic gates) = 306
 8.4 부울식의 간소화(simplifying boolean expressions) = 313
 8.5 don't care 조건(don't care conditions) = 318
 8.6 논리회로 설계(design of logic circuits) = 320
CHAPTER 9 형식언어와 오토마타(Formal Languages and Automata) = 327
 9.1 형식언어(formal languages) = 328
 9.2 문법(grammars) = 335
 9.3 유한상태오토마타(finite-state automata) = 348
 9.4 유한상태기계(finite-state machines) = 354
 9.5 결정적 유한상태오토마타와 정규언어 = 357
CHAPTER 10 알고리즘(Algorithms) = 361
 10.1 성장함수(growth of functions) = 362
 10.2 알고리즘의 복잡성(complexity of algorithms) = 367
 10.3 되부름함수의 복잡성(complexity of recursive functions) = 369
부록(Appendix) = 375
 그리스 문자(Greek Alphabet) = 376
 ASCII 코드 = 377
참고문헌 = 379
찾아보기 = 381

New Arrivals Books in Related Fields

김자미 (2021)