4차 산업혁명 시대의 이산수학
날로 발전하는 과학기술과 공학적 응용의 핵심은 수학일 것이다. 우리는 수학을 통하여 해결하고자 하는 복잡한 문제들을 추상화(abstraction)하며, 논리적으로 엄밀하게 판단하고, 정확한 방법으로 모델링(modeling) 할 수 있다.
특히 이산수학은 컴퓨터 관련 학문이나 공학을 전공하는 학생들에게 기초적인 이해의 폭을 넓혀주고, 실제 문제에서 어떻게 응용되는지를 직관적으로 이해하게 하는 등 매우 유용한 학문적 기반을 마련해 준다.
이산수학(Discrete mathematics, 離散數學)은 연속의 개념을 사용하지 않고 이산적인 수학 구조에 대해 연구하는 학문인데, 주로 집합, 정수, 관계, 그래프, 형식 언어와 같은 개념을 다루는 학문 분야이다. 즉, 이산적인 대상물들을 분석하여 응용의 기반으로 삼는 분야이다.
이산수학의 개념은 이산이라는 개념과 수학이라는 개념이 결합된 개념이다. 따라서 이산수학에서는 논리, 명제, 집합과 디지털적인 수의 세계, 증명법, 관계, 함수, 그래프, 트리, 순열, 이산적 확률, 재귀법, 행렬과 행렬식, 부울대수, 오토마타, 형식언어 등을 다루는데, 이런 논제들을 공학적으로 응용하는 분야로 볼 수 있다.
이 책을 통하여 이산적인 구조를 가진 여러 가지 이산수학의 영역들을 탐구함으로써 다양한 공학 분야의 핵심 이론과 응용에 보다 효율적으로 접근할 수 있는 바탕을 마련할 수 있기를 기대한다.
미국과 국내에서 이산수학과 관련된 저자의 오랜 경험과 상당 기간의 준비 과정을 통하여, 많은 대학생들이 보다 쉽게 이산수학을 익히고 응용할 수 있도록 자세한 기본 개념과 보충설명을 통하여 기초부터 차근차근 설명하였다.
개정판의 주요 특징
첫째, 각 장의 주제와 관련하여 다양하게 응용되는 분야들을 살펴보았고,최근 들어 세계적인 이슈로 부각되고 있는 4차 산업혁명에서의 역할과 응용 관계를 설명하여 다가오는 시대가 요청하는 최신의 이산수학이 되도록하였다.
둘째, 적절한 난이도 조절을 위해 다소 어려운 예제들을 삭제하고, 비교적 간단한 ‘강 건너기’와 ‘6개의 공’예제들과 인공지능 문제 트리 등 적절하게 이해될 수 있는 예제들을 신설하여 전반적인 이해의 폭을 넓혔다.
셋째, 제3장의 집합론에다‘디지털적인 수의 세계’를 추가로 다루었다. 이산수학의 영역에 있는 디지털적인 수의 표현과 진법의 변화, 그리고 2진수의 연산 등 핵심적인 사항들을 예제와 함께 상세하게 설명하였다.
넷째, 각 장의 뒤에 있는 연습문제를 대폭 보강하여 활용할 수 있도록 하였다. 문제은행과 같이 다양한 문제들을 접함으로써 본문의 내용과 관련된 이해의 폭을 넓힐 수 있도록 하였다.
이 책의 주요 내용
제1장에서는 이산수학의 개념과 이산적 개념, 수학적 모델링을 통하여 실세계 문제를 수학적으로 매핑하는 개념, 문제 해결을 위한 효과적인 모델링 방법과 다양한 응용 분야를 다루었다. 제2장에서는 논리와 명제를 정의하고, 주요 논리 연산, 항진 명제와 모순 명제, 논리적 동치 관계, 추론과 술어 논리, 전체 한정자와 존재 한정자를 다루었다. 제3장에서는 집합의 정의, 집합의 표현, 합집합, 교집합 등의 집합의 연산과 집합의 분할 등을 다루었다.
제4장에서는 주어진 문제를 해결하기 위한 단계적 접근 방법, 수학적 귀납법, 모순 증명법, 직접 증명법 등의 증명법과 프로그램의 입증을 다루었다. 제5장에서는 관계와 이항 관계의 기본 개념, 관계의 표현법, 합성 관계, 관계의 성질, 동치 관계와 분할, 부분 순서 관계 등을 다루었다. 제6장에서는 함수의 정의, 함수의 그래프, 전사 함수, 단사 함수, 전단사 함수의 개념, 합성 함수 등 여러 함수들과 컴퓨터 언어에서의 함수의 역할을 다루었다.
제7장에서는 그래프의 기본 개념, 그래프의 표현, 특수 형태의 그래프, 관계와 그래프, 그래프의 응용, 그래프의 탐색, 그래프와 색칠 문제를 다루었다. 제8장에서는 트리의 개념, 방향 트리, 이진 트리, 이진 트리의 표현, 생성 트리와 최소 비용, 문법의 파싱, 게임 등 트리의 다양한 응용 문제를 고찰하였다. 제9장에서는 순열 및 조합과 관련된 기본적인 개념, 이산적 확률과 통계, 비둘기 집 원리, 재귀적 정의, 피보나치 수와 하노이 탑 문제를 살펴보았다.
제10장에서는 행렬을 정의하고 행렬의 연산, 특수한 행렬, 행렬의 기본 연산, 행렬식의 개념과 성질, 역행렬, 선형 방정식의 해법을 고찰하였다. 제11장에서는 부울식의 기본 연산, 부울식의 표현, 카노우 맵을 통한 부울 함수의 간소화, 논리 회로의 설계, 논리 회로의 3가지 응용들을 살펴보았다. 제12장에서는 알고리즘의 정의와 효율성, 알고리즘 분석과 복잡성, 재귀 함수의 복잡성, 탐색 알고리즘, 정렬 알고리즘 등을 살펴보았다. 제13장에서는 오토마타의 기본 개념과 필요성, 유한 상태 시스템, 유한 오토마타, 형식 언어와 문법, 튜링 머신, 촘스키 포함 관계를 살펴보았다.
Chapter 01 이산수학의 개요
1.1 이산수학이란 무엇인가?
1.2 이산적 개념과 연속적 개념
1.3 수학적 모델링
1.4 문제 해결을 위한 모델링
1.5 이산수학의 응용 분야
1.6 4차 산업혁명 시대와 이산수학
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 02 논리와 명제
2.1 논리와 명제
2.2 논리 연산
2.3 항진 명제와 모순 명제
2.4 논리적 동치 관계
2.5 추론
2.6 술어 논리
2.7 논리용 언어-Prolog
2.8 논리와 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 03 집합론과 디지털적인 수의 세계
3.1 집합의 표현
3.2 집합의 연산
3.3 집합류와 멱집합
3.4 집합의 분할
3.5 수의 표현과 진법의 변환
3.6 2진수의 덧셈과 뺄셈
3.7 집합론의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 04 증명법
4.1 증명의 방법론
4.2 여러 가지 증명 방법
4.3 프로그램의 입증
4.4 증명법의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 05 관계
5.1 관계와 이항 관계
5.2 관계의 표현
5.3 합성 관계
5.4 관계의 성질
5.5 동치 관계와 분할
5.6 부...분 순서 관계
5.7 관계의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 06 함수
6.1 함수의 정의
6.2 함수의 그래프
6.3 단사 함수, 전사 함수, 전단사 함수
6.4 여러 가지 함수들
6.5 컴퓨터 언어에서의 함수의 역할
6.6 함수의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 07 그래프
7.1 그래프의 기본 개념
7.2 그래프의 용어
7.3 그래프의 표현
7.4 특수 형태의 그래프
7.5 관계와 그래프
7.6 그래프의 응용
7.7 그래프의 탐색
7.8 그래프와 색칠 문제
7.9 그래프의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 08 트리
8.1 트리의 기본 개념
8.2 방향 트리
8.3 이진 트리
8.4 이진 트리의 표현
8.5 이진 트리의 탐방
8.6 생성 트리와 최소비용 생성 트리
8.7 트리의 활용
8.8 트리의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 09 순열, 이산적 확률, 재귀적 관계
9.1 경우의 수
9.2 순열
9.3 조합
9.4 이산적 확률과 통계
9.5 비둘기 집 원리
9.6 재귀적 정의
9.7 피보나치 수와 하노이 탑
9.8 순열, 이산적 확률, 재귀적 관계의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 10 행렬과 행렬식
10.1 행렬과 행렬의 연산
10.2 특수한 행렬
10.3 행렬의 기본 연산과 사다리꼴
10.4 행렬식의 개념
10.5 행렬식의 일반적인 성질
10.6 역행렬
10.7 선형방정식의 해법
10.8 행렬과 행렬식의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 11 부울 대수
11.1 부울식
11.2 부울식의 표현
11.3 부울 함수의 간소화
11.4 논리 회로 설계
11.5 논리 회로의 응용
11.6 부울 대수의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 12 알고리즘을 통한 문제 해결
12.1 알고리즘이란 무엇인가?
12.2 알고리즘의 표현과 효율성
12.3 알고리즘 분석
12.4 알고리즘의 복잡성
12.5 재귀 함수의 복잡성
12.6 탐색 알고리즘
12.7 정렬 알고리즘
12.8 알고리즘의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
Chapter 13 오토마타, 형식 언어, 문법
13.1 오토마타란 무엇인가?
13.2 오토마타 학습의 필요성과 유한 상태 시스템
13.3 유한 오토마타
13.4 형식언어와 문법
13.5 튜링머신
13.6 촘스키 포함 관계
13.7 오토마타의 응용과 4차 산업혁명과의 관계
■ 요약 및 생활 속의 응용
■ 연습문제
김대수 [저]
한국에서 수학을 전공한 후 미국에서 다시 컴퓨터공학을 전공한 이래 인간의 지능을 컴퓨터에 접목시키는 지능적인 이론인 인공지능, 신경망, 퍼지 이론을 수십 년 동안 연구해왔다. 인간의 두뇌를 시뮬레이션하여 컴퓨터에 접목시키는 두뇌 과학자이자 컴퓨터 공학자인 그는 한국의 대표적인 연구소인 ETRI에서 지능형컴퓨터 개발 프로젝트를 수행하였으며, SCI 급 국제논문을 비롯한 수십 편의 연구논문을 발표하고 있다. 그는 바둑과 장기를 비롯한 지능적인 게임을 좋아하는 아마추어 고단자이며 어려운 퀴즈나 창의적인 문제 풀기를 즐긴다. 수학과 컴퓨터공학을 차례로 전공한 그는 현재까지 10여권의 컴퓨터공학과 수학 관련 저서를 출간하였으며 제 43회 한국백상출판문화상을 수상하였다. - 학력 및 주요 경력 미국 Univ. of South Carolina, Computer Science, Ph. D(박사) 미국 Univ. of Mississippi, Computer Engineering, M. S(석사) 서울대학교 사대 수학과 및 동 대학원 수료 미국 Intelligent Systems Laboratory, Researcher 한국전자통신연구원(ETRI), 컴퓨터연구단 선임연구원 역임 한국지능시스템학회 이사 및 부회장 역임 International Conference Co-chairman, Program Chairman 등 다수 역임 현재 한신대학교 컴퓨터공학부 교수로 재직 중임 주요 연구 분야 지능시스템, 인공지능, 신경망, 퍼지, 로보틱스 등 주요 저서 [신경망 이론과 응용(I)], [신경망 이론과 응용(II)], [퍼지 뉴럴 특강], [오토마타와 계산이론], [전산수학], [첨단 컴퓨터의 세계], [정보화 시대의 컴퓨터 산책], [선형대수학 Express], [전산수학 Express], [컴퓨터 개론(개정 4판)] 등 다수
전체 1개의 구매후기가 있습니다.
1 | [total 1/1]
인터파크도서는 고객님의 단순 변심에 의한 교환과 반품에 드는 비용은 고객님이 지불케 됩니다.
단, 상품이나 서비스 자체의 하자로 인한 교환 및 반품은 무료로 반품 됩니다.
교환 및 반품이 가능한 경우
상품을 공급 받은 날로부터 7일이내 가능 공급받으신 상품의 내용이 표시, 광고 내용과 다르거나 다르게 이행된 경우에는 공급받은 날로부터 3개월 이내, 혹은 그사실을 알게 된 날 또는 알 수 있었던 날로부터 30일 이내 상품에 아무런 하자가 없는 경우 소비자의 고객변심에 의한 교환은 상품의 포장상태 등이 전혀 손상되지 않은 경우에 한하여 가능
교환 및 반품이 불가능한 경우
구매확정 이후(오픈마켓상품에 한함) 고객님의 책임 있는 사유로 상품 등이 멸실 또는 훼손된 경우
(단, 상품의 내용을 확인하기 위하여 포장 등을 훼손한 경우는 제외) 시간이 지남에 따라 재판매가 곤란할 정도로 물품의 가치가 떨어진 경우 포장 개봉되어 상품 가치가 훼손된 경우
다배송지의 경우 반품 환불
다배송지의 경우 다른 지역의 반품을 동시에 진행할 수 없습니다. 1개 지역의 반품이 완료된 후 다른 지역 반품을 진행할 수 있으므로, 이점 양해해 주시기 바랍니다.
중고상품의 교환
중고상품은 제한된 재고 내에서 판매가 이루어지므로, 교환은 불가능합니다.
오픈마켓 상품의 환불
오픈마켓상품에 대한 책임은 원칙적으로 업체에게 있으므로, 교환/반품 접수시 반드시 판매자와 협의 후 반품 접수를 하셔야하며, 반품접수 없이 반송하거나, 우편으로 보낼 경우 상품 확인이 어려워 환불이 불가능할 수 있으니 유의하시기 바랍니다.
배송예정일 안내
인터파크 도서는 모든 상품에 대해 배송완료예정일을 웹사이트에 표시하고 있습니다.
<인터파크 직배송 상품>
상품은 월~토요일 오전 10시 이전 주문분에 대하여 당일 출고/당일 배송완료를 보장하는 상품입니다.
상품은 서울지역/평일 주문분은 당일 출고/익일 배송완료를 보장하며, 서울외지역/평일 주문분의 경우는 오후 6시까지 주문분에 대하여 익일 배송완료를 보장하는 상품입니다. (단, 월요일은 12시까지 주문에 한함)
상품은, 입고예정일(제품출시일)+택배사배송일(1일)에 배송완료를 보장합니다.
~
상품은 유통특성상 인터파크에서 재고를 보유하지 않은 상품으로 주문일+기준출고일+택배사배송일(1일)에 배송완료를 보장합니다.(토/공휴일은 배송기간에 포함되지 않습니다.) ※기준출고일:인터파크가 상품을 수급하여 물류창고에서 포장/출고하기까지 소요되는 시간
<업체 직접배송/오픈마켓 상품>
~
상품은 업체가 주문을 확인하고, 출고하기까지 걸리는 시간입니다. 주문일+기준출고일+택배사배송일(2일)에 배송완료를 보장합니다.(토/공휴일은 배송기간에 포함되지 않습니다.) ※5일이내 출고가 시작되지 않을시, 오픈마켓 상품은 자동으로 주문이 취소되며, 고객님께 품절보상금을 지급해 드립니다.
배송비 안내
도서(중고도서 포함)만 구매하시면 : 배송비 2,000원 (1만원이상 구매 시 무료배송) 음반/DVD만 구매하시면 : 배송비 1,500원 (2만원이상 구매 시 무료배송) 잡지/만화/기프트만 구매하시면 : 배송비 2,000원 (2만원이상 구매 시 무료배송) 도서와 음반/DVD를 함께 구매하시면 : 배송비 1,500원 1만원이상 구매 시 무료배송) 도서와 잡지/만화/기프트/중고직배송상품을 함께 구매하시면 : 2,000원 (1만원이상 구매 시 무료배송) 업체직접배송상품을 구매시 : 업체별로 상이한 배송비 적용
* 세트상품의 경우 부분취소 시 추가 배송비가 부과될 수 있습니다.
* 북카트에서 배송비없애기 버튼을 클릭하셔서, 동일업체상품을 조금 더 구매하시면, 배송비를 절약하실 수 있습니다.
해외배송 안내
인터파크도서에서는 국내에서 주문하시거나 해외에서 주문하여 해외로 배송을 원하실 경우 DHL과 특약으로 책정된 요금표에
의해 개인이 이용하는 경우보다 배송요금을 크게 낮추며 DHL(www.dhl.co.kr)로 해외배송 서비스를 제공합니다. 해외배송은 도서/CD/DVD 상품에 한해 서비스하고 있으며, 다른 상품을 북카트에 함께 담으실 경우 해외배송이 불가합니다.
해외주문배송 서비스는 인터파크 도서 회원 가입을 하셔야만 신청 가능합니다.
알아두세요!!!
도매상 및 제작사 사정에 따라 품절/절판 등의 사유로 취소될 수 있습니다. 오픈마켓업체의 배송지연시 주문이 자동으로 취소될 수 있습니다. 출고가능 시간이 서로 다른 상품을 함께 주문할 경우 출고가능 시간이 가장 긴 기준으로 배송됩니다. 유통의 특성상 출고기간은 예정보다 앞당겨지거나 늦춰질 수 있습니다. 택배사 배송일인 서울 및 수도권은 1~2일, 지방은 2~3일, 도서, 산간, 군부대는 3일 이상의 시간이 소요됩니다.
;)
전체 1개의 구매후기가 있습니다.
1 | [total 1/1] 
교환 및 반품이 가능한 경우 
상품을 공급 받은 날로부터 7일이내 가능 
상품은 월~토요일 오전 10시 이전 주문분에 대하여 당일 출고/당일 배송완료를 보장하는 상품입니다.
상품은 서울지역/평일 주문분은 당일 출고/익일 배송완료를 보장하며,
상품은, 입고예정일(제품출시일)+택배사배송일(1일)에 배송완료를 보장합니다.
~ 
상품은 유통특성상 인터파크에서 재고를 보유하지 않은 상품으로
상품은 업체가 주문을 확인하고, 출고하기까지 걸리는 시간입니다.
