컴퓨터과학이여는세계_이광근

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