컴퓨터과학이 여는 세계

개정판을 펴내면서
펴내면서
감사

1부. 마음의 도구

2부. 400년의 축적
2.1. 보편만능 도구의 탄생
청년 앨런 튜링｜컴퓨터 원천 설계도의 등장｜수학계의 꿈｜괴델이 깨부순 꿈｜케임브리지의 청년｜단도직입적 증명｜기계 부품｜궁극의 기계｜튜링기계를 테이프에 표현하기｜테이프에 표현한 튜링기계를 돌리는 규칙표｜급소｜튜링의 불완전성 증명｜멈춤 문제의 증명｜컴퓨터

2.2. 400년
의문｜다른 트랙

3부. 그 도구의 실현
3.1. 다른 100년

3.2. 생각: 부울의 연구
1854년｜그리고, 또는, 아닌｜같음｜조립

3.3. 스위치
직렬, 병렬, 뒤집기｜1937년｜스위치 회로를 위한 날개｜디지털 논리회로｜디지털 논리회로의 표현 방식｜판정, 선택, 응답, 기억

3.4. 컴퓨터의 실현
차곡차곡 쌓기｜규칙표 장치｜메모리 장치｜폰 노이만｜튜링｜재료

4부. 소프트웨어, 지혜로 짓는 세계
4.1. 그 도구를 다루는 방법
알고리즘｜언어

4.2. 푸는 솜씨, 알고리즘과 복잡도
풍경｜알고리즘 예｜비용｜현실적｜비현실적｜P의 경계｜NP클래스｜오리무중｜P의 바깥｜통밥｜무작위｜불가능｜기본기｜양자 알고리즘

4.3. 담는 그릇, 언어와 논리
간격｜번역사슬｜생김새｜표현력｜자동 번역｜실행｜언어 정글｜언어 중력｜두 중력권｜기계의 중력｜람다의 중력｜람다계산법｜논리는 언어의 거울｜거울의 효능｜논리 거울, 짤 프로그램의 구도 잡기｜논리 거울, 짠 프로그램은 무난한가｜요약의 그물｜데이터의 중력

4.4. 소프트웨어 만드는 방법 두 가지
첫번째 방법: 언어와 논리로 표현할 수 있다면｜두번째 방법: 언어와 논리로 표현하지 못할 경우

5부. 그 도구의 활용
5.1. 인간 지능의 확장
고유 지능｜기계학습과 인공지능｜지식 표현｜지식 검색｜팀워크 지능｜군중 지능

5.2. 인간 본능의 확장
놀이 본능｜소통 본능｜정보이론｜섀넌과 튜링｜정보량｜복음｜인코딩｜오류 수정 코드

5.3. 인간 현실의 확장
시공간 공유｜역발상｜암호｜열쇠｜완벽한 하인｜진품 감정｜벼랑

6부. 마치면서
아기의 첫 웃음

참고자료
인용된 시 목록
찾아보기