튜링의 생각하는 기계 (인공지능(AI)의 아버지에게 배우는 컴퓨터 과학의 기초)

AbeAyame

-그래픽디자이너/일러스트레이터/Web디자이너
?이책에서는글이외,장정및일러스트등전반을담당
?오사카대학공학부를졸업한후오사카대학대학원에진학
?창조사디자인전문학교에서광고디자인을전공
?도쿄의광고제작회사에서그래픽디자이너로근무
?현재는독립해서프리랜서로활동

Chapter1궁극의인공지능과그것을실현하는기계
1-1궁극의기계를만들수있어?
1-2궁극의인공지능
1-3인공지능의탄생~튜링기계
1-4현재의컴퓨터와수학의역사
1-5힐베르트의10번째문제와튜링의정지문제
1-6알고리즘의한계와수학의발전
1-7언어분야와컴퓨터과학
1-8이론세계와현실세계

Chapter2거짓말쟁이의역설과대각선논법
2-1모순된이야기
2-2크레타사람은거짓말쟁이다
2-3바보개의역설
2-4귀납법(재귀법)
2-5마을이발사의역설

Chapter3수학적귀납법과숫자
3-1숫자를정확하게정의하자
3-2수학적귀납법과자연수의공리
3-3집합론으로숫자를생각하다
3-4집합과명제
3-5숫자의정의가수학의토대

Chapter4계산모델
4-1알고리즘과기계
4-2알고리즘과흐름도
4-3계수기계와프로그램
4-4계수기계와현재의컴퓨터

Chapter5사고를while프로그램으로표현해보자
5-1기계와프로그램
5-2프로그램의능력과등가성
5-3사람의사고와프로그램의문장구조
5-4while프로그램의문법
5-5일반적인프로그램과while프로그램의차이(등가성)
5-6대입문장
5-7절차
5-8정리

Chapter6이론과프로그램
6-1기계와함수의등가성
6-2말이없는기계
6-3while프로그램과부분함수
6-4논리식과while프로그램
6-5if문장과while프로그램
6-6while프로그램의능력

Chapter7배열과데이터형태
7-1숫자의표현방법
7-2단진수와d진수
7-3문자열의취급
7-4순서쌍과유한열
7-5괴델수

Chapter8내장형프로그램과만능프로그램
8-1만능튜링기계
8-2기계어
8-3기계의구조를알다
8-4만능프로그램
8-5세계에서가장간단한컴파일러이야기
8-6가상공간으로서의컴퓨터
8-7정리

Chapter9계산가능성
9-1계산가능성의능력
9-2계산가능성과처치-튜링의정립
9-3집합의계산가능성
9-4자연수이외의경우계산가능성(성별판정문제)
9-5while프로그램의인식문제
9-6소수판정문제
9-7문제란자연수의집합
9-8러셀의역설

Chapter10계산할수없는문제
10-1계산할수없는문제
10-2자가진단
10-3while프로그램의자기정지문제
10-4while프로그램의정지문제
10-5정지문제를집합으로나타내다
10-6중단시간정지문제
10-7불필요한변수와불필요한문장
10-8정리

Chapter11튜링기계와계산기
11-1자연수이론과언어이론
11-2오토마톤이론과튜링기계
11-3다(多)테이프?튜링기계
11-4푸시다운?오토마톤(푸시다운?기계)
11-5계산기모델과현재의컴퓨터

Chapter12실수와문제의클래스
12-1자연수와실수
12-2실수와대각선논법
12-3계산과수리
12-4부정에대해서
12-5정리

Chapter13계산가능성을넘어서
13-1개수와농도
13-22진소수이야기
13-3튜링이실제로증명한것
13-4낙관주의자와비관주의자
13-5수학의논리구조
13-6수학논리의구조
13-7총정리

이책은앨런튜링의기초이론을바탕으로컴퓨터의원리와구조에서인공지능(AI)까지를?이해하기쉽도록상세하게설명하고있습니다.튜링은현재컴퓨터과학의기본이론을만들어낸매우중요한인물로[지성을가진기계]라는논문과튜링테스트를고안하는등인공지능의아버지라고도불리우고있습니다.?또한,이번책의본문은튜링의중요이론을가능한알기쉽게즐기면서이해할수있도록?어려운수학적용어를피하고풍부한일러스트를이용하여계산기이론을설명하고있어모든대상의독자분들에게적합한컴퓨터과학의입문서로적극추천합니다.