https://www.youtube.com/playlist?list=PL0Nf1KJu6Ui7yoc9RQ2TiiYL9Z0MKoggH
[
edit
]
1.1 과목소개
¶
046.016 컴퓨터과학이 여는 세계 Computational Civilization
http://kwangkeunyi.snu.ac.kr/046.016/16/
[
edit
]
1.2 강의소개 및 계획소개
¶
[
edit
]
1.3 컴퓨터의 탄생비화 1 - 수리명제 자동판멸 문제
¶
수학자들의 꿈
1928년 국제수학자대회(ICM)
수리명제 자동판결 문제(decision problem)
수리명제 자동판결: 기계적인 방식(기계적 추론)으로 수학의 모든 사실을 길어올리는 것.
[
edit
]
1.4 컴퓨터의 탄생비화 2 - 자동판결/기계적추론이란
¶
모든 명제들의 참/거짓을 기계적으로 판별 가능?
참인 모든 명제들을 기계적으로 만들기 가능?
[
edit
]
1.5 괴델의 불완전성 정리와 튜링의 증명
¶
1931년 수학계의 좌절 혹은 희소식
"기계적인 방식만으론 사실인지 판정할 수 없는 그런 명제가 존재한다"
튜링이 증명.
기계적인 방식(계산)이라는 것이 무언지 정의하는 방식으로.
[
edit
]
2.1 기계적 계산의 정의: 튜링기계
¶
https://www.youtube.com/watch?v=ozz5dzFFkIE&list=PL0Nf1KJu6Ui7yoc9RQ2TiiYL9Z0MKoggH&index=6
[
edit
]
2.2 튜링기계의 예 1
¶
[
edit
]
2.3 튜링기계의 예 2
¶
[
edit
]
2.4 튜링기계의 급소: 튜링기계 하나는 자연수 하나
¶
[
edit
]
3.1 튜링기계 만들기
¶
[
edit
]
3.2 보편만능의 기계 설계: 튜링기계의 하나
¶
[
edit
]
3.3 멈춤문제를 푸는 튜링기계는 없다
¶
[
edit
]
3.4 멈춤문제를 이용한 튜링의 불완전성 증명
¶
[
edit
]
4.1 질의응답 및 멈춤문제를 자동으로 풀 수 있다면 가능해지는 일들
¶
[
edit
]
4.2 수리논리학의 역사 및 자동계산기의 역사
¶
[
edit
]
5.1 컴퓨터 구현: 속내용 감추며 차곡차곡 쌓기
¶
[
edit
]
5.2 부울의 오리지날 책: 부울논리와 부울대수
¶
[
edit
]
5.3 스위치회로
¶
[
edit
]
5.4 스위치회로와 부울논리식은 서로의 거울
¶
[
edit
]
6.1 디지털 논리회로도의 조립식 구조
¶
[
edit
]
6.2 디지털 논리회로 만들기: 판정, 선택
¶
[
edit
]
6.3 디지털 논리회로 만들기: 응답
¶
[
edit
]
7.1 메모리회로 만들기
¶
[
edit
]
7.2 규칙표와 메모리에 읽고 쓰는 회로, 폰 노이만의 디자인
¶
[
edit
]
7.3 여러가지 재료로 컴퓨터 만들기
¶
[
edit
]
8.1 소프트웨어를 잘 짜기 위한 두개의 축
¶
[
edit
]
8.2 알고리즘과 언어
¶
[
edit
]
8.3 알고리즘의 예와 복잡도
¶
[
edit
]
8.4 비현실저으로 오래 걸리는 문제
¶
[
edit
]
9.1 튜링증명 리뷰, 시간복잡도의 개념
¶
[
edit
]
9.2 알고리즘의 예
¶
[
edit
]
9.3 시간복잡도의 비교
¶
[
edit
]
9.4 현실적인 비용과 비현실적인 비용의 알고리즘
¶
[
edit
]
10.1 P클래스와 NP클래스 문제의 개념
¶
[
edit
]
10.2 NP클래스 문제의 예
¶
[
edit
]
10.3 NP완전문제의 개념
¶
[
edit
]
11.1 건너풀기의 개념과 어려운 문제 판별법
¶
[
edit
]
11.2 어려운 문제 현실적으로 풀기: 통밥과 무작위
¶
[
edit
]
11.3 어려운 문제의 적당한 해결법
¶
[
edit
]
12.1 양자의 특이한 세 가지 현상
¶
[
edit
]
12.2 양자현상을 수학으로 표현하기
¶
[
edit
]
12.3 양자 인수분해 알고리즘
¶
[
edit
]
13.1 양자 탐색 알고리즘
¶
[
edit
]
13.2 프로그래밍 언어와 논리
¶
[
edit
]
13.3 복잡한 소프트웨어
¶
[
edit
]
13.4 소프트웨어 검증기술의 필요성
¶
[
edit
]
13.5 다양한 프로그래밍 언어
¶
[
edit
]
14.1 번역사슬
¶
[
edit
]
14.2 자동번역의 원리
¶
[
edit
]
14.3 상위언어의 해석실행
¶
[
edit
]
15.1 프로그래밍 언어의 두 기원
¶
[
edit
]
15.2 언어의 중력과 람다계산법의 정의
¶
[
edit
]
15.3 람다계산법의 예와 상위의 계산
¶
[
edit
]
16.1 추론규칙을 이용한 논리증명 예
¶
[
edit
]
16.2 프로그래밍언어와 추론규칙의 대응
¶
[
edit
]
16.3 프로그램은 논리증명
¶
[
edit
]
16.4 이 거울이 인도해 준 소프트웨어 검산 기술
¶
[
edit
]
17.1 논리를 이용해서 프로그램 구도잡기
¶
[
edit
]
17.2 논리를 이용해서 프로그램 검산하기
¶
[
edit
]
17.3 검산의 원리: 요약의 그물
¶
[
edit
]
18.1 인간 지능/본능/현실의 확장
¶
[
edit
]
18.2 지식표현의 확장
¶
[
edit
]
18.3 지식생성의 확장
¶
[
edit
]
19.1 디덕/앱덕/인덕과 기계학습
¶
[
edit
]
19.2 기계학습과 빅데이터의 함정
¶
[
edit
]
19.3 지식생성의 예: 인간 염기서열 판명
¶
[
edit
]
20.1 지식생성의 예: 인간 커넥텀 프로젝트
¶
[
edit
]
20.2 지식생성의 예: 빅 메카니즘 프로젝트
¶
[
edit
]
20.3 지식검색: 구글 페이지 순위 매기기
¶
[
edit
]
20.4 구글 페이지 순위 매기기 알고리즘
¶
[
edit
]
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
Retrieved from http://www.red-ruby.com/wiki/wiki.php/컴퓨터과학이여는세계_이광근
last modified 2023-12-19 08:04:46