추가 적립 안내

ㆍ튜링의 이론을 바탕으로 컴퓨터의 원리와 구조를 알기 쉽게 해설!
ㆍ수학적 모델을 재미있게 이해할 수 있도록 어려운 용어를 피하고 풍부한 일러스트로 설명!
ㆍ인공지능(AI)을 이해하기 위해 알아야 할 컴퓨터 과학의 기초 이론을 쉽게 정리!

인공지능(AI)의 창시자로 불리는 앨런 튜링을 통해 컴퓨터의 수학적 모델을 풀어가면서 생각하는 기계의 원리와 컴퓨터의 구조를 쉽게 이해할 수 있습니다. 특히, 현재 대두되고 있는 인공지능(AI)과의 연결 관계를 파악하기 위해 수학적 모델의 전문 용어를 일상 언어로 알기 쉽게 설명하면서 시각적으로도 이해하기 쉽도록 구성하였습니다. 또한, 컴퓨터 과학의 기초 이론을 조금이라도 재미있게 학습할 수 있도록 풍부한 일러스트로 정리하였습니다.

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

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

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

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

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

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

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

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

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

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

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

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

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

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