이산수학(1학기, 워크북포함)

이산수학(1학기, 워크북포함)

$19.20
Description
이 교재는 모두 14개의 장으로 구성되어 있다. 제1장에서는 이산수학의 개요에 대해 설명하고, 제2장과 제3장에서는 논리와 증명에 관해 다룬다. 제4장에서는 이산수학에서 요구되는 집합의 기본 지식을 설명하고, 제5장에서는 행렬에 관한 일반적인 설명과 함께 부울행렬을 다룬다. 제6장과 제7장에서는 각각 관계와 함수에 관해 설명하며, 제8장에서는 0과 1로 구성된 집합을 대상으로 구성되는 대수인 부울대수에 관해 다룬다. 제9장과 제10장에서는 그래프에 관한 일반적인 설명과 함께 그래프의 응용에 관해 다룬다. 제11장에서는 그래프의 특수한 형태인 트리에 관해 설명하는데, 특히 자료구조론에서 배우게 되는 탐색 트리에 관해서도 다룬다. 제12장에서는 순열과 조합 등과 관련된 조합이론을 설명한다. 제13장에서는 호제법, 나머지 함수, 소인수정리 등 현대 암호학에서 반드시 필요한 정수론을 다룬다. 마지막으로 제14장에서는 튜링머신이 포함된 오토마타에 관한 이론과 함께 프로그래밍 언어를 위한 형식 언어 등을 다룬다.
저자

손진곤지음

고려대학교이과대학수학과졸업(이학사)
고려대학교대학원수학과전산학전공(이학석사,이학박사)
한국정보과학회학회지편집위원역임
한국정보처리학회부회장역임
현이러닝학회부회장
미국TheStateUniversityofNewYorkatStonyBrook,
호주MelbourneUniversity,미국IndianaUniversity방문학자
ㆍ현재:한국방송통신대학교컴퓨터과학과교수
ㆍ저서:정보통신망(공저,한국방송통신대학교출판문화원),
C언어로설명한자료구조론(공저,정익사),
선형대수(공저,한국방송통신대학교출판문화원),
Java언어로설명한자료구조론(공저,정익사)등

목차

제1장이산수학의개요
1.1이산수학이란
1.2모델링과추상화
1.3알고리즘언어
1.4이산수학의응용분야

제2장논리
2.1명제
2.2논리연산
2.3술어논리2.4추론

제3장증명
3.1기본사항
3.2직접증명법
3.3수학적귀납법
3.4간접증명법
3.5다양한증명방법

제4장집합론
4.1기본사항
4.2집합연산
4.3집합의대수법칙

제5장행렬
5.1기본사항
5.2행렬의연산
5.3행렬의종류
5.4부울행렬

제6장관계
6.1기본사항
6.2관계의표현
6.3관계의성질
6.4관계의종류

제7장함수
7.1기본사항
7.2전사함수,단사함수,역함수
7.3함수의종류

제8장부울대수
8.1기본사항
8.2부울대수,부울식,부울함수
8.3부울함수의대수적간소화

제9장그래프1
9.1기본사항
9.2그래프의종류
9.3그래프의표현

제10장그래프2
10.1그래프의탐색
10.2그래프의활용

제11장트리
11.1기본사항
11.2이진트리
11.3이진탐색트리
11.4트리의활용

제12장조합이론
12.1기본계수법칙
12.2순열12.3조합
12.4이산확률
12.5점화식
12.6비둘기집원리

제13장정수론
13.1나눗셈
13.2나머지연산
13.3소수와소인수분해
13.4RSA암호

제14장오토마타및형식언어
14.1오토마타
14.2유한오토마타
14.3마르코프연쇄
14.4형식언어와형식문법

찾아보기