나에게 필요한 지식과 기술을 검색해 보세요.

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

지은이

함미옥, 홍영진

출간일

2008.12.01

레벨

초중급

평점

5(1명)

정가

19,800

판매가

17,820

총 결제 금액

10%

17,820

적립 예정

890P

🔎 자료탭 신설 안내

오탈자, 부록 및 예제소스, 관련 사이트가 자료 메뉴로 통합되었어요.

쪽수

484쪽

ISBN

9788979146417

브랜드

한빛아카데미

본 도서는 연습문제 해답을 제공하지 않습니다.

모든 분야의 기초가 되는 수학 원리와 이를 응용하는 구체적인 방법 제시
논리적 사고를 키워주는 수학 기초 도서

누구를 위한 책인가?

이 책은 대학에서 컴퓨터 및 컴퓨터 관련 기초지식을 습득하려는 학생들을 대상으로 한다. 수학적 계산 문제 외에 컴퓨터와 관련된 문제를 접할 수 있도록 집필하였으므로 관련 교과목을 이해하는 데도 도움이 될 것이다. 또한 기초적인 수학 지식을 익히기 위한 입문서이므로 미리 알아야 할 내용은 없다.

무엇을 다루는가?

이 책은 총 12개 장으로 구성되어 있다. 집합, 행렬, 명제, 경우의 수와 같은 기본적인 수학지식에서부터 그래프, 트리, 알고리즘, 논리회로, 형식언어 등의 컴퓨터 이론을 설명한다.
  • 논리와 명제, 증명, 알고리즘 : 수학적 논리란 무엇인지 파악하고, 이를 반복적, 귀납적으로 증명한 뒤 알고리즘 분석 및 개발에 이르는 과정을 공부한다.
  • 집합, 행렬, 관계, 함수 : 연관성 있는 데이터들을 구체적으로 표현하는 방법과 이를 프로그래밍에 응용하는 과정 등에 대하여 공부한다.
  • 경우의 수, 그래프, 트리 : 컴퓨터에서 데이터를 관리하는 방법과 데이터들의 관계를 어떻게 표현하고 처리하는지에 대하여 공부한다.
  • 부울대수와 논리회로, 형식언어, 문법과 유한상태기계 : 부울대수를 통한 논리회로의 응용과 언어에 대한 체계적인 규칙을 정의하기 위한 형식언어와 유한상태기계에 대하여 공부한다.

저자

목차

Chapter 1. 논리와 명제
01. 기본 개념
02. 논리 연산자와 진리표
03. 논리적 동치
04. 한정기호
요약
연습문제

Chapter 2. 증명
01. 수학적 귀납법
02. 직접증명법
03. 간접증명법
04. 재귀법
05. 프로그램 검증
요약
연습문제

Chapter 3. 집합
01. 기본 개념
02. 집합의 연산
03. 곱집합과 멱집합
04. 집합의 분할
05. 퍼지집합
요약
연습문제

Chapter 4. 관계
01. 기본 개념
02. 관계의 표현
03. 관계의 성질
04. 관계의 연산
05. 관계의 폐포
06. 동치관계
07. 부분순서관계
요약
연습문제

Chapter 5. 함수
01. 기본 개념
02. 함수의 성질
03. 합성함수
04. 여러 가지 함수
요약
연습문제

Chapter 6. 행렬
01. 기본 개념
02. 행렬의 연산
03. 여러 가지 행렬
04. 행렬식
05. 역행렬
06. 연립일차방정식
07. 부울행렬
요약
연습문제

Chapter 7. 경우의 수
01. 기본 개념
02. 순열과 조합
03. 이항계수
04. 비둘기집 원리
요약
연습문제

Chapter 8. 그래프
01. 기본 개념
02. 오일러와 해밀턴 순환
03. 여러 가지 그래프
04. 그래프의 표현
05. 그래프 탐색
요약
연습문제

Chapter 9. 트리
01. 기본 개념
02. 이진트리 
03. 신장트리 
04. 최소신장트리 
요약
연습문제

Chapter 10. 알고리즘
01. 기본 개념
02. 정렬 알고리즘
03. 탐색 알고리즘
04. 알고리즘 복잡도
요약
연습문제

Chapter 11. 부울대수와 논리회로
01. 부울대수 
02. 부울함수 
03. 논리 게이트
04. 논리회로 
05. 조합회로의 최소화
요약
연습문제

Chapter 12. 형식언어, 문법과 유한상태기계
01. 형식언어
02. 문법
03. 유한상태기계
요약
연습문제

리뷰

오탈자

19,800

10%

17,820