컴퓨터과학이여는세계_이광근 (rev. 1.2)
1.3 컴퓨터의 탄생비화 1 - 수리명제 자동판멸 문제 ¶
수학자들의 꿈
1928년 국제수학자대회(ICM)
수리명제 자동판결 문제(decision problem)
수리명제 자동판결: 기계적인 방식(기계적 추론)으로 수학의 모든 사실을 길어올리는 것.
1.4 컴퓨터의 탄생비화 2 - 자동판결/기계적추론이란 ¶
모든 명제들의 참/거짓을 기계적으로 판별 가능?
참인 모든 명제들을 기계적으로 만들기 가능?
1.5 괴델의 불완전성 정리와 튜링의 증명 ¶
1931년 수학계의 좌절 혹은 희소식
"기계적인 방식만으론 사실인지 판정할 수 없는 그런 명제가 존재한다"
튜링이 증명.
기계적인 방식(계산)이라는 것이 무언지 정의하는 방식으로.
2.4 튜링기계의 급소: 튜링기계 하나는 자연수 하나 ¶
3.2 보편만능의 기계 설계: 튜링기계의 하나 ¶
3.4 멈춤문제를 이용한 튜링의 불완전성 증명 ¶
4.1 질의응답 및 멈춤문제를 자동으로 풀 수 있다면 가능해지는 일들 ¶
4.2 수리논리학의 역사 및 자동계산기의 역사 ¶
5.1 컴퓨터 구현: 속내용 감추며 차곡차곡 쌓기 ¶
5.2 부울의 오리지날 책: 부울논리와 부울대수 ¶
5.4 스위치회로와 부울논리식은 서로의 거울 ¶
6.2 디지털 논리회로 만들기: 판정, 선택 ¶
7.2 규칙표와 메모리에 읽고 쓰는 회로, 폰 노이만의 디자인 ¶
8.1 소프트웨어를 잘 짜기 위한 두개의 축 ¶
9.4 현실적인 비용과 비현실적인 비용의 알고리즘 ¶
10.1 P클래스와 NP클래스 문제의 개념 ¶
11.1 건너풀기의 개념과 어려운 문제 판별법 ¶
11.2 어려운 문제 현실적으로 풀기: 통밥과 무작위 ¶
16.4 이 거울이 인도해 준 소프트웨어 검산 기술 ¶
17.1 논리를 이용해서 프로그램 구도잡기 ¶
17.2 논리를 이용해서 프로그램 검산하기 ¶
19.3 지식생성의 예: 인간 염기서열 판명 ¶
20.1 지식생성의 예: 인간 커넥텀 프로젝트 ¶
20.2 지식생성의 예: 빅 메카니즘 프로젝트 ¶
20.3 지식검색: 구글 페이지 순위 매기기 ¶
20.4 구글 페이지 순위 매기기 알고리즘 ¶
20.5 인간과 컴퓨터의 협업: 인간 계산, 팀워크 지능, 군중 지능 ¶
= 21.1
= 21.2
= 21.3
= 21.4
= 22.1
= 22.2
= 22.3
= 23.1
= 23.2
= 23.3
= 23.4