HOME > 상세정보

상세정보

이산수학

이산수학 (14회 대출)

자료유형
단행본
개인저자
Gersting, Judith L. 김문현 , 1956- , 역
서명 / 저자사항
이산수학 / Judith L. Gersting [저] ; 김문현... [등]역.
발행사항
서울 :   사이텍미디어 ,   2004.  
형태사항
xi, 606 p. : 삽도 ; 26 cm.
원표제
Mathematical structures for computer science. 5th ed.
ISBN
8955501420
일반주기
부록 : 'A. 합산표기법'외 수록.  
일반주제명
Computer science --Mathematics. Mathematics. Mathematical models.
000 00823namccc200277 k 4500
001 000045178702
005 20100806024859
007 ta
008 050128s2004 ulka 000a kor
020 ▼a 8955501420
035 ▼a KRIC09530459
040 ▼d 211009
041 1 ▼a kor ▼h eng
082 0 4 ▼a 004.0151 ▼2 22
090 ▼a 004.0151 ▼b 2004a
100 1 ▼a Gersting, Judith L.
245 1 0 ▼a 이산수학 / ▼d Judith L. Gersting [저] ; ▼e 김문현... [등]역.
246 1 9 ▼a Mathematical structures for computer science. 5th ed.
260 ▼a 서울 : ▼b 사이텍미디어 , ▼c 2004.
300 ▼a xi, 606 p. : ▼b 삽도 ; ▼c 26 cm.
500 ▼a 부록 : 'A. 합산표기법'외 수록.
650 0 ▼a Computer science ▼x Mathematics.
650 0 ▼a Mathematics.
650 0 ▼a Mathematical models.
700 1 ▼a 김문현 , ▼d 1956- , ▼e

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.0151 2004a 등록번호 121107552 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.0151 2004a 등록번호 121107553 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

책소개

이산수학 과목의 베스트셀러 중 하나인 는 학생들에게 학구적, 직업적 경력을 쌓는 데 사용할 아이디어와 도구들을 소개한다. 전판과 마찬가지로 5판에서는 개념과 이에 관련된 응용들을 균형적으로 포함한다. 즉, 논리적 사고의 반복되는 주제들, 수학적 표기의 강력함, 그리고 추상화의 유용성 등에 초점을 두어 중복되는 않는 별개의 주제들을 분명하고 일관성 있게 설명한다.

이번 5판에는 다음과 같은 내용이 수정.보완되었다.

  • 확률에 관한 절(3장)
  • 널값과 삼치 논리 (three valued logic)에 관한 절(4.3절)
  • Huffman 코드의 응용에 관한 절(5.4절)
  • 200개 이상의 새로운 예제와 실습문제 및 연습 문제
  • 최신의 ACM/IEEE의 컴퓨터 교과목의 이산수학 과정


    정보제공 : Aladin
  • 저자소개

    Judith L. Gersting(지은이)

    <이산수학>

    김문현(옮긴이)

    <이산수학>

    정보제공 : Aladin

    목차

    
    목차
    제1장 형식 논리
     1.1 서술, 기호 표현 그리고 항진 명제들 = 2
     1.2 명제 논리 = 23
     1.3 한정사, 술어, 타당성 = 39
     1.4 술어 논리 = 52
     1.5 논리 프로그래밍 = 67
     1.6 정확성의 증명 = 79
     제1장 복습 = 89
     컴퓨터 프로그램 문제 = 92
    제2장 알고리즘의 증명, 재귀, 분석
     2.1 증명 기법 = 94
     2.2 귀납법 = 107
     2.3 고급의 정확성 증명 = 125
     2.4 재귀와 반복 관계 = 136
     2.5 알고리즘 분석 = 166
     제2장 복습 = 177
     컴퓨터 프로그램 문제 = 180
    제3장 집합, 조합 및 확률
     3.1 집합 = 184
     3.2 계산 = 215
     3.3 내포와 외포의 원칙 ; 비둘기집 원리 = 233
     3.4 순열과 조합 = 242
     3.5 확률 = 261
     3.6 이항식 정리 = 278
     제3장 복습 = 284
     컴퓨터 프로그램 문제 = 287
    제4장 관계, 함수 및 행렬
     4.1 관계 = 292
     4.2 위상 정렬 = 321
     4.3 관계와 데이터베이스 = 329
     4.4 함수 = 343
     4.5 행렬 = 384
     제4장 복습 = 398
     컴퓨터 프로그램 문제 = 401
    제5장 그래프와 트리
     5.1 그래프의 정의와 표현 = 406
     5.2 트리 = 435
     5.3 결정 트리 = 451
     5.4 Huffman 코드 = 460
     제5장 복습 = 469
     컴퓨터 프로그램 문제 = 471
    제6장 그래프 알고리즘
     6.1 방향성 그래프와 이진 관계 ; Warshall 알고리즘 = 474
     6.2 Euler경로와 Hamilton 회로 = 491
     6.3 최단 경로와 최소 신장 트리 = 499
     6.4 그래프 순회 알고리즘 = 513
     제6장 복습 = 526
     컴퓨터 프로그램 문제 = 527
    제7장 부울 대수와 컴퓨터 논리
     7.1 부울 대수 구조 = 530
     7.2 논리 회로망 = 549
     7.3 최소화 = 571
     제7장 복습 = 589
     컴퓨터 프로그램 문제 = 591
    부록 = 593
    찾아보기 = 601
    
    

    관련분야 신착자료

    김종원 (2020)
    김자미 (2021)