메뉴 바로가기 검색 및 카테고리 바로가기 본문 바로가기

한빛출판네트워크

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

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

한빛아카데미

집필서

절판

  • 저자 : 함미옥 , 홍영진
  • 출간 : 2008-12-01
  • 페이지 : 484 쪽
  • ISBN : 9788979146417
  • 물류코드 :1641
  • 본 도서는 대학 강의용 교재로 개발되었으므로 연습문제 해답은 제공하지 않습니다.
  • 초급 초중급 중급 중고급 고급
5점 (1명)
좋아요 : 19

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

누구를 위한 책인가?

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

무엇을 다루는가?

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

함미옥

가톨릭대학교 수학과를 졸업하고, 동 대학원에서 전산학을 전공하였다. 현재 홍익대학교 컴퓨터 공학과에서 박사 과정을 밟고 있으며, 한국산업기술대학교 컴퓨터 공학과 겸임 교수로 재직중이다. 가톨릭대학교와 홍익대학교에서 전산 개론, 프로그래밍 언어(C, 자바), 인터넷 활용 등을 강의하고 있다.
홍영진 저자

홍영진

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

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. 유한상태기계
요약
연습문제

책 값이 올랐다 해도
전 이 책 공부 하는데 있어서
많은 도움이 되었습니다.

이전 까지만 해도 이산수학을 이해 못하는
바보에 불과했습니다. 이 책을 접하고
나서부터 성적도 좀 오르기 시작했고요.
논리적 동치법칙이 조금 어려웠지만
자세하게 서술되어 있어서
정말 좋습니다. 이산수학을
교재로 한다면 이 책 꼭 추천해
주고 싶습니다.

결제하기
• 문화비 소득공제 가능

도서구입 안내

<한빛아카데미> 도서는 한빛 홈페이지에서 더 이상 판매를 하지 않습니다. 도서 구입은 인터넷 서점을 이용하시기 바랍니다. 양해바랍니다.

리뷰쓰기

닫기
* 도서명 :
IT CookBook, 이산수학: 논리, 명제에서 알고리즘까지
* 제목 :
* 별점평가
* 내용 :

* 리뷰 작성시 유의사항

글이나 이미지/사진 저작권 등 다른 사람의 권리를 침해하거나 명예를 훼손하는 게시물은 이용약관 및 관련법률에 의해 제재를 받을 수 있습니다.

1. 특히 뉴스/언론사 기사를 전문 또는 부분적으로 '허락없이' 갖고 와서는 안됩니다 (출처를 밝히는 경우에도 안됨).
2. 저작권자의 허락을 받지 않은 콘텐츠의 무단 사용은 저작권자의 권리를 침해하는 행위로, 이에 대한 법적 책임을 지게 될 수 있습니다.

오탈자 등록

닫기
* 도서명 :
IT CookBook, 이산수학: 논리, 명제에서 알고리즘까지
* 구분 :
* 상품 버전
종이책 PDF ePub
* 페이지 :
* 위치정보 :
* 내용 :

도서 인증

닫기
도서명*
IT CookBook, 이산수학: 논리, 명제에서 알고리즘까지
구입처*
구입일*
부가기호*
부가기호 안내

* 온라인 또는 오프라인 서점에서 구입한 도서를 인증하면 마일리지 500점을 드립니다.

* 도서인증은 일 3권, 월 10권, 년 50권으로 제한되며 절판도서, eBook 등 일부 도서는 인증이 제한됩니다.

* 구입하지 않고, 허위로 도서 인증을 한 것으로 판단되면 웹사이트 이용이 제한될 수 있습니다.

닫기

해당 상품을 장바구니에 담았습니다.이미 장바구니에 추가된 상품입니다.
장바구니로 이동하시겠습니까?

자료실

최근 본 책0