AI 시대의 이산수학 with 파이썬 - STEM@CookBook

박두순

저자:박두순
고려대학교수학과를졸업하였고,동대학교대학원에서병렬컴파일러개발연구로박사학위를취득하였다.미국일리노이대학교어바나-샴페인의슈퍼컴퓨터센터와콜로라도대학교덴버캠퍼스컴퓨터학과,고려대학교에서객원교수를지냈다.1985년부터2022년까지순천향대학교전산학과(현컴퓨터소프트웨어공학과)교수로재직하였고,한국정보처리학회회장,순천향대학교대학원장,순천향대학교도서관장,공과대학학장,전산정보원원장,웰니스코칭ITRC센터장,4단계BK21빅데이터혁신인재교육연구단단장등을역임하였다.현재는순천향대학교컴퓨터소프트웨어공학과석좌교수로이산수학,컴파일러등을강의하고있으며,국내외컴퓨터분야의발전에일조하고있다.관심연구분야는빅데이터컴퓨팅,데이터마이닝,병렬처리,컴파일러,이산수학이다.주요저서로는『이산수학이해』(정익사,2010),『빅데이터컴퓨팅기술』(한빛아카데미,2014),『내공있는프로그래머로길러주는컴파일러의이해(증보판)』(한빛아카데미,2020),『컴파일러구성』(한국방송통신대학교출판문화원,2023)등이있다.

CHAPTER01.이산수학을위한기본개념
1.1이산수학이란?
1.2이산수학교육과정
1.3이산수학의전형적인문제:마술카드
연습문제
프로그래밍실습

CHAPTER02.자연수와행렬
2.1수체계
2.2자연수와정수
2.3소수와최대공약수
2.4행렬의개념과행렬식
2.5연립일차방정식과역행렬
연습문제
프로그래밍실습

CHAPTER03.수학적모델과논리
3.1수학적모델
3.2논리적추론
3.3증명과프로그램검증
3.4응용:지식베이스시스템
연습문제
프로그래밍실습

CHAPTER04.집합
4.1집합의개념
4.2집합의연산
4.3집합의대수적성질
연습문제
프로그래밍실습

CHAPTER05.관계
5.1곱집합
5.2관계와관계표현
5.3경로
5.4관계의성질
5.5역관계와합성관계
5.6연결관계와와샬알고리즘
연습문제
프로그래밍실습

CHAPTER06.함수
6.1함수의정의
6.2단사함수,전사함수,전단사함수
6.3역함수와합성함수
6.4특수한함수
6.5응용:순열
연습문제
프로그래밍실습

CHAPTER07.부분순서관계와부울대수
7.1부분순서관계
7.2상한과하한
7.3격자
7.4특별한형태의격자
7.5부울대수
7.6응용:2-비트가산기의설계
연습문제
프로그래밍실습

CHAPTER08.그래프
8.1그래프의기본개념
8.2여러가지그래프
8.3그래프탐색과최단경로
8.4평면그래프와그래프착색

CHAPTER09.트리
9.1트리의기본개념
9.2레이블을갖는트리와최소스패닝트리
9.3이진트리와트리탐방알고리즘
연습문제
프로그래밍실습

CHAPTER10.경우의수세기와확률
10.1세기의기본원리
10.2순열과조합
10.3이항정리와다항정리
10.4확률의기초및조건부확률
연습문제

CHAPTER11.점화관계와알고리즘
11.1점화관계
11.2알고리즘과의사코드
11.3알고리즘의복잡도
11.4여러가지알고리즘
연습문제
프로그래밍실습

CHAPTER12.형식언어와오토마타
12.1형식언어
12.2형식문법
12.3문법의표기법
12.4유한오토마타
12.5응용:선교사와식인종문제
연습문제
프로그래밍실습

부록이산수학에서사용되는개념의표기법
찾아보기

파이썬으로이해하는이산수학입문서

이책은ACM과IEEE에서추천하는2023컴퓨터교육과정의이산수학필수주제를국내강의현장에맞게설명합니다.기초가부족한학생들도개념을쉽게이해할수있도록풍성한예제와연습문제를구성했고,마술카드,한붓그리기,하노이탑등의다양한주제들을다룹니다.[프로그래밍실습]을통해이산수학의각주제를파이썬으로직접구현해보면문제해결력과코딩능력을동시에기를수있습니다.