HOME > 상세정보

상세정보

이산수학 : 논리·명제에서 알고리즘까지

이산수학 : 논리·명제에서 알고리즘까지

자료유형
단행본
개인저자
서명 / 저자사항
이산수학 : 논리·명제에서 알고리즘까지 / 함미옥, 홍영진 지음
발행사항
서울 : 한빛미디어, 2005 (2008)
형태사항
484 p. : 삽화 ; 24 cm
총서사항
IT cookbook : 원리를 알면 IT가 맛있다
ISBN
8979143346 9788979146417
일반주기
색인수록
000 00000cam c2200205 c 4500
001 000045195026
005 20170524170321
007 ta
008 050914s2005 ulka 001c kor
020 ▼a 8979143346 ▼g 93560
020 ▼a 9788979146417 ▼g 93560
035 ▼a KRIC10009704
040 ▼a 211046 ▼d 211009 ▼d 244002 ▼c 211009
082 0 4 ▼a 004.0151 ▼2 22
085 ▼a 004.0151 ▼2 DDCK
090 ▼a 004.0151 ▼b 2005a
100 1 ▼a 함미옥
245 1 0 ▼a 이산수학 : ▼b 논리·명제에서 알고리즘까지 / ▼d 함미옥, ▼e 홍영진 지음
260 ▼a 서울 : ▼b 한빛미디어, ▼c 2005 ▼g (2008)
300 ▼a 484 p. : ▼b 삽화 ; ▼c 24 cm
440 0 0 ▼a IT cookbook : 원리를 알면 IT가 맛있다
500 ▼a 색인수록
700 1 ▼a 홍영진, ▼e
945 ▼a KINS

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/교육보존(보건)/ 청구기호 004.0151 2005a 등록번호 141047567 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.0151 2005a 등록번호 111457836 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 3 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.0151 2005a 등록번호 121111710 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 4 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.0151 2005a 등록번호 121111711 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 5 소장처 학술정보관(CDL)/B1 국제기구자료실(보존서고)/ 청구기호 004.0151 2005a 등록번호 111457835 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 6 소장처 세종학술정보원/과학기술실/ 청구기호 004.0151 2005a 등록번호 151185310 도서상태 대출가능 반납예정일 예약 서비스
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/교육보존(보건)/ 청구기호 004.0151 2005a 등록번호 141047567 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.0151 2005a 등록번호 111457836 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.0151 2005a 등록번호 121111710 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.0151 2005a 등록번호 121111711 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 학술정보관(CDL)/B1 국제기구자료실(보존서고)/ 청구기호 004.0151 2005a 등록번호 111457835 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 004.0151 2005a 등록번호 151185310 도서상태 대출가능 반납예정일 예약 서비스

컨텐츠정보

책소개

대학에서 컴퓨터 및 컴퓨터 관련 기초지식을 습득하려는 학생들을 대상으로, 모든 분야의 기초가 되는 수학 원리와 이를 응용하는 구체적인 방법을 제시한다. 수학적 계산 문제 외에 컴퓨터와 관련된 문제를 접할 수 있도록 구성하여 관련 교과목을 이해하는 데에도 도움이 될 것이다.

집합, 행렬, 명제, 경우의 수와 같은 기본적인 수학지식에서부터 그래프, 트리, 알고리즘, 논리회로, 형식언어 등의 컴퓨터 이론까지를 다루고 있다.


정보제공 : Aladin

저자소개

함채원(지은이)

- 가톨릭대학교 컴퓨터정보공학부 및 정보통신전자공학부 강사 - 한국산업기술대학교 컴퓨터공학과 겸임교수 - 홍익대학교 정보컴퓨터공학부 겸임교수 - 저서: 컴퓨터과학개론(한빛미디어, 2004) 이산수학(한빛미디어, 2005) 컴퓨터과학개론 개정판(한빛미디어, 2007) 정보·응용·원리와 함께하는 컴퓨터 개론(인피니티북스, 2009) 이산수학(인피니티북스, 2010) 정보·응용·원리와 함께하는 컴퓨터 개론(성원콘텐츠, 2014)

홍영진(지은이)

가톨릭대학교 수학과를 졸업하고, 동대학원에서 전산학을 전공하면서 ATM 네트워크 분야를 연구했다. 2005년 현재 가톨릭대학교에서 전산개론, 프로그래밍 언어, 인터넷 프로그래밍과 홈페이지 제작, 컴퓨터 통신 실험 등을 강의하고 있다.

정보제공 : Aladin

목차


목차
저자 머리말 = 4
워밍업 = 6
강의 계획표 = 8
숲과 나무 이야기 = 10
강의 보조 자료와 관련 서비스 = 12
Chapter 01 논리와 명제
 01 기본 개념 = 20
 02 논리연산자와 진리표 = 22
  부정 = 22
  논리곱 = 23
  논리합 = 25
  배타적 논리합 = 26
  함축 = 28
  쌍조건문 = 31
  명제의 역, 이, 대우 = 33
 03 논리적 동치 = 35
 04 한정기호 = 41
  명제함수 = 41
  한정기호 = 43
 요약 = 47
 연습문제 = 49
Chapter 02 증명
 01 수학적 귀납법 = 54
 02 직접증명법 = 62
 03 간접증명법 = 64
  대우증명법 = 64
  모순증명법 = 67
  반례에 의한 증명법 = 70
 04 재귀법 = 73
 05 프로그램 검증 = 80
 요약 = 86
 연습문제 = 87
Chapter 03 집합
 01 기본 개념 = 90
 02 집합의 연산 = 96
 03 곱집합과 멱집합 = 114
 04 집합의 분할 = 119
 05 퍼지집합 = 121
 요약 = 125
 연습문제 = 127
Chapter 04 관계
 01 기본 개념 = 132
 02 관계의 표현 = 137
  화살도표 = 137
  좌표도표 = 138
  관계행렬 = 138
  방향그래프 = 139
 03 관계의 성질 = 141
  반사관계, 비반사관계 = 141
  대칭관계, 반대칭관계 = 144
  추이관계 = 148
 04 관계의 연산 = 151
  합성관계 = 151
  여러 가지 연산 = 155
 05 관계의 폐포 = 157
  반사폐포 = 157
  대칭폐포 = 158
  추이폐포 = 159
 06 동치관계 = 162
 07 부분순서관계 = 166
 요약 = 175
 연습문제 = 178
Chapter 05 함수
 01 기본 개념 = 182
 02 함수의 성질 = 189
 03 합성함수 = 194
 04 여러 가지 함수 = 198
 요약 = 208
 연습문제 = 210
Chapter 06 행렬
 01 기본 개념 = 214
 02 행렬의 연산 = 216
 03 여러 가지 행렬 = 223
 04 행렬식 = 226
 05 역행렬 = 230
 06 연립일차방정식 = 233
 07 부울행렬 = 243
 요약 = 246
 연습문제 = 249
Chapter 07 경우의 수
 01 기본 개념 = 254
 02 순열과 조합 = 265
 03 이항계수 = 276
 04 비둘기집 원리 = 282
 요약 = 286
 연습문제 = 288
Chapter 08 그래프
 01 기본 개념 = 292
 02 오일러와 해밀턴 순환 = 305
 03 여러 가지 그래프 = 310
 04 그래프의 표현 = 316
  인접행렬 = 316
  인접리스트 = 317
 05 그래프 탐색 = 319
  깊이우선탐색 = 319
  너비우선탐색 = 321
 요약 = 323
 연습문제 = 325
Chapter 09 트리
 01 기본 개념 = 330
 02 이진트리 = 334
  이진트리순회 = 338
  이진탐색트리 = 342
  힙 = 344
  허프만 코드 = 346
 03 신장트리 = 351
 04 최소신장트리 = 357
  프림의 알고리즘 = 357
  크루스칼의 알고리즘 = 360
 요약 = 362
 연습문제 = 364
Chapter 10 알고리즘
 01 기본 개념 = 370
 02 정렬 알고리즘 = 376
  버블정렬 = 376
  선택정렬 = 381
  삽입정렬 = 385
  퀵정렬 = 389
  합병정렬 = 394
 03 탐색 알고리즘 = 399
  선형탐색 = 399
  이진탐색 = 401
  이진탐색트리 = 403
 04 알고리즘 복잡도 = 405
 요약 = 409
 연습문제 = 411
Chapter 11 부울대수와 논리회로
 01 부울대수 = 414
 02 부울함수 = 419
 03 논리게이트 = 424
  AND 게이트 = 424
  OR 게이트 = 425
  NOT 게이트 = 425
  NAND 게이트 = 426
  NOR 게이트 = 426
  XOR 게이트 = 427
 04 논리회로 = 430
  조합회로 = 430
  순서회로 = 431
 05 조합회로의 최소화 = 433
 요약 = 442
 연습문제 = 444
Chapter 12 형식언어, 문법과 유한상태기계
 01 형식언어 = 448
 02 문법 = 453
 03 유한상태기계 = 461
  출력이 있는 유한상태기계 = 461
  출력이 없는 유한상태기계 = 464
 요약 = 472
 연습문제 = 475
찾아보기 = 479


관련분야 신착자료

정재화 (2020)