컴퓨터 과학이 여는 세계

▣ 작가 소개

저자 : 이광근
현재 서울대학교 컴퓨터공학부 교수. KAIST 전산학과 교수 역임. Bell Labs - Software Principles Research Department 정규 연구원 역임. 교육과학기술부 지정 선도연구센터 센터장, 과학기술부 지정 창의연구단 단장 역임. MIT 컴퓨터과학및인공지능 연구실, CMU 컴퓨터과학과, 파리 고등사범학교(ENS) 컴퓨터과학과 방문교수.
홈페이지: kwangkeunyi.snu.ac.kr

▣ 주요 목차

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


5. 그 도구의 응용
5.1 인간 지능의 확장
__고유 지능
__지식 표현
__지식 생성
__지식 검색
__팀워크 지능
__군중 지능

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

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


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