#noindex
https://www.youtube.com/playlist?list=PL0Nf1KJu6Ui7yoc9RQ2TiiYL9Z0MKoggH
= 1.1 과목소개 =
046.016 컴퓨터과학이 여는 세계 Computational Civilization
http://kwangkeunyi.snu.ac.kr/046.016/16/

= 1.2 강의소개 및 계획소개 =

= 1.3 컴퓨터의 탄생비화 1 - 수리명제 자동판멸 문제 =
수학자들의 꿈
1928년 국제수학자대회(ICM)
수리명제 자동판결 문제(decision problem)
수리명제 자동판결: 기계적인 방식(기계적 추론)으로 수학의 모든 사실을 길어올리는 것.

= 1.4 컴퓨터의 탄생비화 2 - 자동판결/기계적추론이란 =
모든 명제들의 참/거짓을 기계적으로 판별 가능?
참인 모든 명제들을 기계적으로 만들기 가능?

= 1.5 괴델의 불완전성 정리와 튜링의 증명 =
1931년 수학계의 좌절 혹은 희소식
"기계적인 방식만으론 사실인지 판정할 수 없는 그런 명제가 존재한다"
튜링이 증명.

기계적인 방식(계산)이라는 것이 무언지 정의하는 방식으로.

= 2.1 기계적 계산의 정의: 튜링기계 =
https://www.youtube.com/watch?v=ozz5dzFFkIE&list=PL0Nf1KJu6Ui7yoc9RQ2TiiYL9Z0MKoggH&index=6

= 2.2 튜링기계의 예 1 =
= 2.3 튜링기계의 예 2 =
= 2.4 튜링기계의 급소: 튜링기계 하나는 자연수 하나 =
= 3.1 튜링기계 만들기 =
= 3.2 보편만능의 기계 설계: 튜링기계의 하나 =
= 3.3 멈춤문제를 푸는 튜링기계는 없다 =
= 3.4 멈춤문제를 이용한 튜링의 불완전성 증명 =
= 4.1 질의응답 및 멈춤문제를 자동으로 풀 수 있다면 가능해지는 일들 =
= 4.2 수리논리학의 역사 및 자동계산기의 역사 =
= 5.1 컴퓨터 구현: 속내용 감추며 차곡차곡 쌓기 =
= 5.2 부울의 오리지날 책: 부울논리와 부울대수 =
= 5.3 스위치회로 =
= 5.4 스위치회로와 부울논리식은 서로의 거울 =
= 6.1 디지털 논리회로도의 조립식 구조 =
= 6.2 디지털 논리회로 만들기: 판정, 선택 =
= 6.3 디지털 논리회로 만들기: 응답 =
= 7.1 메모리회로 만들기 =
= 7.2 규칙표와 메모리에 읽고 쓰는 회로, 폰 노이만의 디자인 =
= 7.3 여러가지 재료로 컴퓨터 만들기 =
= 8.1 소프트웨어를 잘 짜기 위한 두개의 축 =
= 8.2 알고리즘과 언어 =
= 8.3 알고리즘의 예와 복잡도 =
= 8.4 비현실저으로 오래 걸리는 문제 =
= 9.1 튜링증명 리뷰, 시간복잡도의 개념 =
= 9.2 알고리즘의 예 =
= 9.3 시간복잡도의 비교 =
= 9.4 현실적인 비용과 비현실적인 비용의 알고리즘 =
= 10.1 P클래스와 NP클래스 문제의 개념 =
= 10.2 NP클래스 문제의 예 =
= 10.3 NP완전문제의 개념 =
= 11.1 건너풀기의 개념과 어려운 문제 판별법 =
= 11.2 어려운 문제 현실적으로 풀기: 통밥과 무작위 =
= 11.3 어려운 문제의 적당한 해결법 =
= 12.1 양자의 특이한 세 가지 현상 =
= 12.2 양자현상을 수학으로 표현하기 =
= 12.3 양자 인수분해 알고리즘 =
= 13.1 양자 탐색 알고리즘 =
= 13.2 프로그래밍 언어와 논리 =
= 13.3 복잡한 소프트웨어 =
= 13.4 소프트웨어 검증기술의 필요성 =
= 13.5 다양한 프로그래밍 언어 =
= 14.1 번역사슬 =
= 14.2 자동번역의 원리 =
= 14.3 상위언어의 해석실행 =
= 15.1 프로그래밍 언어의 두 기원 =
= 15.2 언어의 중력과 람다계산법의 정의 =
= 15.3 람다계산법의 예와 상위의 계산 =
= 16.1 추론규칙을 이용한 논리증명 예 =
= 16.2 프로그래밍언어와 추론규칙의 대응 =
= 16.3 프로그램은 논리증명 =
= 16.4 이 거울이 인도해 준 소프트웨어 검산 기술 =
= 17.1 논리를 이용해서 프로그램 구도잡기 =
= 17.2 논리를 이용해서 프로그램 검산하기 =
= 17.3 검산의 원리: 요약의 그물 =
= 18.1 인간 지능/본능/현실의 확장 =
= 18.2 지식표현의 확장 =
= 18.3 지식생성의 확장 =
= 19.1 디덕/앱덕/인덕과 기계학습 =
= 19.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

----
Up: [[OnlineLectures]]