HOME > Detail View

Detail View

이산수학

이산수학 (Loan 14 times)

Material type
단행본
Personal Author
Gersting, Judith L. 김문현 , 1956- , 역
Title Statement
이산수학 / Judith L. Gersting [저] ; 김문현... [등]역.
Publication, Distribution, etc
서울 :   사이텍미디어 ,   2004.  
Physical Medium
xi, 606 p. : 삽도 ; 26 cm.
Varied Title
Mathematical structures for computer science. 5th ed.
ISBN
8955501420
General Note
부록 : 'A. 합산표기법'외 수록.  
Subject Added Entry-Topical Term
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

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks1)/ Call Number 004.0151 2004a Accession No. 121107552 Availability Available Due Date Make a Reservation Service B M
No. 2 Location Science & Engineering Library/Sci-Info(Stacks1)/ Call Number 004.0151 2004a Accession No. 121107553 Availability Available Due Date Make a Reservation Service B M

Contents information

Book Introduction

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

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

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


    Information Provided By: : Aladin
  • Author Introduction

    Judith L. Gersting(지은이)

    <이산수학>

    김문현(옮긴이)

    <이산수학>

    Information Provided By: : Aladin

    Table of Contents

    
    목차
    제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
    
    

    New Arrivals Books in Related Fields