HOME > 상세정보

상세정보

컴퓨터학을 위한 이산구조

컴퓨터학을 위한 이산구조 (38회 대출)

자료유형
단행본
개인저자
박덕원 朴德元
서명 / 저자사항
컴퓨터학을 위한 이산구조 = Discrete structure for computer science & engineering / 박덕원 저
발행사항
서울 :   상조사,   2005  
형태사항
397 p. : 삽화 ; 27 cm
ISBN
8937903822 9788937903823
일반주기
부록: 그리스 문자(Greek Alphabet), ASCII 코드  
서지주기
참고문헌(p. 380)과 색인수록
일반주제명
Computer science --Mathematics
000 00000nam c2200205 c 4500
001 000045195027
005 20170524170233
007 ta
008 050915s2005 ulka b 001c kor
020 ▼a 8937903822 ▼g 93560
020 ▼a 9788937903823 ▼g 93560
040 ▼a 211010 ▼c 211010 ▼d 211010 ▼d 211009
082 0 4 ▼a 004/.01/51 ▼2 22
085 ▼a 004.0151 ▼2 DDCK
090 ▼a 004.0151 ▼b 2005
100 1 ▼a 박덕원 ▼g 朴德元
245 1 0 ▼a 컴퓨터학을 위한 이산구조 = ▼x Discrete structure for computer science & engineering / ▼d 박덕원 저
246 3 1 ▼a Discrete structure for computer science and engineering
260 ▼a 서울 : ▼b 상조사, ▼c 2005
300 ▼a 397 p. : ▼b 삽화 ; ▼c 27 cm
500 ▼a 부록: 그리스 문자(Greek Alphabet), ASCII 코드
504 ▼a 참고문헌(p. 380)과 색인수록
650 0 ▼a Computer science ▼x Mathematics
900 1 0 ▼a Pak, Tog-won, ▼e

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/교육보존(보건)/ 청구기호 004.0151 2005 등록번호 141047443 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.0151 2005 등록번호 121111708 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 3 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.0151 2005 등록번호 121111709 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 4 소장처 세종학술정보원/과학기술실/ 청구기호 004.0151 2005 등록번호 151184444 도서상태 대출가능 반납예정일 예약 서비스
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/교육보존(보건)/ 청구기호 004.0151 2005 등록번호 141047443 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.0151 2005 등록번호 121111708 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.0151 2005 등록번호 121111709 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 004.0151 2005 등록번호 151184444 도서상태 대출가능 반납예정일 예약 서비스

컨텐츠정보

저자소개

박덕원(지은이)

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

정보제공 : Aladin

목차


목차
CHAPTER 1 논리(Logic) = 11
 1.1 명제(propositions) = 12
 1.2 논리적 동치(logical equivalences) = 23
 1.3 술어논리와 한정기호(predicates logic and quantities) = 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 a set) = 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 그래프 색칠(graphs coloring) = 221
 6.8 방향 비사이클 그래프(dag : directed acyclic graphs) = 227
 6.9 기본적인 그래프 알고리즘(basic graphs algorithms)= 229
CHAPTER 7 트리(Trees) = 239
 7.1 트리의 기본 개념 = 240
 7.2 생성트리(spanning trees) = 242
 7.3 루트트리(rooted trees) = 251
 7.4 2진트리(binary trees) = 261
 7.5 2진 탐색트리(binary search trees) = 275
 7.6 허프만트리(huffiman 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
 ASGII 코드 = 378
참고문헌 = 379
찾아보기 = 381


관련분야 신착자료

김자미 (2021)