HOME > 상세정보

상세정보

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

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

자료유형
단행본
서명 / 저자사항
튜링의 생각하는 기계 : 인공지능(AI)의 아버지에게 배우는 컴퓨터 과학의 기초 / Abe Ayame, Kasai Takumi 공저 ; 이아름 옮김
발행사항
서울 : 위즈플래닛, 2019
형태사항
233 p. : 천연색삽화 ; 21 cm
원표제
チューリングの考えるキカイ : 人工知能の父に学ぶコンピュータ・サイエンスの基礎
ISBN
9791188508129
000 00000cam c2200205 c 4500
001 000046052559
005 20201022180342
007 ta
008 201022s2019 ulka 000c kor
020 ▼a 9791188508129 ▼g 13000
035 ▼a (KERIS)BIB000015156346
040 ▼a 222003 ▼c 222003 ▼d 211009
082 0 4 ▼a 004 ▼2 23
085 ▼a 004 ▼2 DDCK
090 ▼a 004 ▼b 2019z7
100 1 ▼a 阿部彩芽
245 1 0 ▼a 튜링의 생각하는 기계 : ▼b 인공지능(AI)의 아버지에게 배우는 컴퓨터 과학의 기초 / ▼d Abe Ayame, ▼e Kasai Takumi 공저 ; ▼e 이아름 옮김
246 1 9 ▼a チューリングの考えるキカイ : ▼b 人工知能の父に学ぶコンピュータ・サイエンスの基礎
246 3 ▼a Chūringu no kangaeru kikai : ▼b jinkō chinō no chichi ni manabu konpyūta saiensu no kiso
246 3 ▼a 인공지능의 아버지에게 배우는 컴퓨터 과학의 기초
246 3 ▼a AI의 아버지에게 배우는 컴퓨터 과학의 기초
260 ▼a 서울 : ▼b 위즈플래닛, ▼c 2019
300 ▼a 233 p. : ▼b 천연색삽화 ; ▼c 21 cm
700 1 ▼a 笠井琢美, ▼e
700 1 ▼a 이아름, ▼e
900 1 0 ▼a 笠井琢美, ▼e
900 1 0 ▼a Abe, Ayame, ▼e
900 1 0 ▼a Kasai, Takumi, ▼e
900 1 0 ▼a 아베 아야메, ▼e
900 1 0 ▼a 카사이 타쿠미, ▼e
945 ▼a KLPA

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004 2019z7 등록번호 121254636 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

책소개

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

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


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

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


정보제공 : Aladin

저자소개

Abe Ayame(지은이)

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

Kasai Takumi(지은이)

전기통신대학 명예 교수 - 1969년 와세다대학 이공학부 수학과 졸업 - 1971년 와세다대학 대학원 이공학연구과 석사 과정 수료, 교토대학 수리해석연구소 조수 - 1980년 전기통신대학 계산기과학과 조교수 - 1989년 전기통신대학 정보공학과 교수 - 2012년 전기통신대학 명예 교수 - 저서 : 계산량 이론 근대과학사(1987), 유한 상태 기계 입문 모리키타출판 주식회사(1986) 이와타 시게키와 공저, 계산 이론 정보수학강좌 제4권(1993) 토다 세이노스케와 공저

이아름(옮긴이)

정보제공 : Aladin

목차

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 총정리

관련분야 신착자료

정재화 (2020)