HOME > 상세정보

상세정보

이산수학

이산수학 (28회 대출)

자료유형
단행본
개인저자
Gersting, Judith L. 김문현, 역
서명 / 저자사항
이산수학 / Judith L. Gersting ; 김문현 [외] 공역
발행사항
서울 :   사이텍미디어,   2001  
형태사항
xi,538 p. : 삽화, 도표 ; 26 cm
원표제
Mathematical structures for computer science (4th ed.)
ISBN
8988397827
일반주기
색인과 부록수록  
000 00755namcc2200241 c 4500
001 000001085620
005 20100907202052
007 ta
008 030123s2001 ulkad 1c kor
020 ▼a 8988397827 ▼g 93560
040 ▼a 244002 ▼c 244002 ▼d 244002 ▼d 211009
049 0 ▼l 151135605 ▼l 151135606
082 0 4 ▼a 004/.01/51 ▼2 22
085 ▼a 004.0151 ▼2 DDCK
090 ▼a 004.0151 ▼b 2001a
100 1 ▼a Gersting, Judith L.
245 1 0 ▼a 이산수학 / ▼d Judith L. Gersting ; ▼e 김문현 [외] 공역
246 1 9 ▼a Mathematical structures for computer science ▼g (4th ed.)
260 ▼a 서울 : ▼b 사이텍미디어, ▼c 2001
300 ▼a xi,538 p. : ▼b 삽화, 도표 ; ▼c 26 cm
500 ▼a 색인과 부록수록
700 1 ▼a 김문현, ▼e

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 511.3 2001d 등록번호 151135606 도서상태 대출가능 반납예정일 예약 서비스 C

컨텐츠정보

목차


목차
제1장 형식논리
 1.1 서술, 기호 표현 그리고 항진 명제들 = 2
 1.2 명제 논리 = 20
 1.3 한정사, 술어, 타당성 = 34
 1.4 술어 논리 = 46
 1.5 논리 프로그래밍 = 59
 1.6 정확성의 증명 = 71
 제1장 복습 = 81
 컴퓨터 프로그램 문제  =84
제2장 알고리즘의 증명 재귀, 분석
 2.1 증명 기법 = 87
 2.2 귀납법 = 99
 2.3 고급의 정확성 증명 = 115
 2.4 재귀와 반복 관계  =125
 2.5 알고리즘 분석 = 151
 제2장 복습 = 161
 컴퓨터 프로그램 문제 = 163
제3장 집합과 조합
 3.1 집합 = 168
 3.2 계산 = 198
 3.3 내포와 외포의 원칙: 비둘기 집의 원리 = 210
 3.4 순열과 조합 = 219
 3.5 이항의 정리 = 237
 제3장 복습 = 243
 컴퓨터 프로그램 문제 = 245
제4장 관계, 함수 및 행렬
 4.1 관계 = 248
 4.2 위상 정렬 = 277
 4.3 관계와 데이터베이스 = 284
 4.4 함수 = 296
 4.5 행렬 = 333
 제4장 복습 = 346
 컴퓨터 프로그램 문제 = 348
제5장 그래프와 트리
 5.1 그래프의 정의와 표현 = 352
 5.2 트리 = 381
 5.3 결정 트리 = 397
 제5장 복습 = 406
 컴퓨터 프로그램 문제 = 408
제6장 그래프 알고리즘
 6.1 방향성 그래프와 이전 관계: Warshall 알고리즘 = 410
 6.2 Euler 경로와 Hamiltion 회로 = 424
 6.3 최단 경로와 최소 신장 트리 = 431
 6.4 그래프 순회 알고리즘 = 442
 6.5 단절점 = 450
 제6장 복습 = 455
 컴퓨터 프로그램 문제 = 456
제7장 부울 대수와 컴퓨터 논리
 7.1 부울 대수 구조 = 460
 7.2 논리 회로망 = 479
 7.3 최소화 = 502
 제7장 복습 = 522
 컴퓨터 프로그램 문제 = 523
부록 = 525
찾아보기 = 533


관련분야 신착자료