1.1. 과목 소개
( www.youtube.com/watch?v=HTWSPoDLmHI )
1.2. 강의 소개 및 계획 소개
( www.youtube.com/watch?v=ZwGbz3YxL1I )
1.3. 컴퓨터의 탄생비화1 - 수리명제 자동판결 문제
( www.youtube.com/watch?v=xYpv_2axwOE )
1.4. 컴퓨터의 탄생비화2 - 자동판결/기계적추론이란
( www.youtube.com/watch?v=7vlLMLdgu60 )
1.5. 괴델의 불완전성 정리와 튜링의 증명
( www.youtube.com/watch?v=uUN3ITIqVTc )
2.1. 기계적 계산의 정의: 튜링기계
( www.youtube.com/watch?v=ozz5dzFFkIE )
2.2. 튜링기계의 예1
( www.youtube.com/watch?v=L-2i7iafR04. )
2.3. 튜링기계의 예2
( www.youtube.com/watch?v=3XiiN7HfN9M )
2.4. 튜링기계의 급소: 튜링기계 하나는 자연수 하나
( www.youtube.com/watch?v=RINdVaoXV5c )
3.1. 튜링기계 만들기
( www.youtube.com/watch?v=fLAJ9o66tqk )
3.2. 보편만능의 기계 설계: 튜링기계의 하나
( www.youtube.com/watch?v=2Q2ypD8WhIU )
3.3. 멈춤문제를 푸는 튜링기계는 없다
( www.youtube.com/watch?v=wf6C0PcM3Ps )
3.4. 멈춤문제를 이용한 튜링의 불완전성 증명
( www.youtube.com/watch?v=QJp9l8AT9Is )
4.1. 질의응답 및 멈춤문제를 자동으로 풀 수 있다면 가능해지는 일들
( www.youtube.com/watch?v=mKHOSDaD_a8 )
4.2. 수리논리학의 역사 및 자동계산기의 역사
( www.youtube.com/watch?v=APNZbFJK_fI )
5.1. 컴퓨터 구현: 속내용 감추며 차곡차곡 쌓기
( www.youtube.com/watch?v=WtbvwUrQELc )
5.2. 부울의 오리지날 책: 부울논리와 부울대수
( www.youtube.com/watch?v=oFigq7F5jyw )
5.3. 스위치 회로
( www.youtube.com/watch?v=pY9U2zh3-Ic )
5.4. 스위치회로와 부울논리식은 서로의 거울
( www.youtube.com/watch?v=2cR9RbY68sY )
6.1. 디지털 논리회로도의 조립식 구조
( www.youtube.com/watch?v=3hwNQbUalGI )
6.2. 디지털 논리회로 만들기: 판정, 선택
( www.youtube.com/watch?v=GunmPCsHttY )
6.3. 디지털 논리회로 만들기: 응답
( www.youtube.com/watch?v=2YKF8fMLLQg )
7.1. 메모리회로 만들기
( www.youtube.com/watch?v=5jkFSeeOmVI )
7.2. 규칙표와 메모리에 읽고쓰는 회로, 폰 노이만의 디자인
( www.youtube.com/watch?v=lmzuEzzNtfc )
7.3. 여러가지 재료로 컴퓨터 만들기
( www.youtube.com/watch?v=l0w0aPWYyyM )
8.1. 소프트웨어를 잘 짜기위한 두개의 축
( www.youtube.com/watch?v=j4ZbBHsgnYs )
8.2. 알고리즘과 언어
( www.youtube.com/watch?v=RkDICj9HMJM )
8.3. 알고리즘의 예와 복잡도
( www.youtube.com/watch?v=v7r2o3Z7-sY )
8.4. 비현실적으로 오래 걸리는 문제
( www.youtube.com/watch?v=mY98rsdMtiI )
9.1. 튜링증명 리뷰, 시간복잡도의 개념
( www.youtube.com/watch?v=sOIRIMtBzwU )
9.2. 알고리즘의 예
( www.youtube.com/watch?v=39sJYroBZLs )
9.3. 시간복잡도의 비교
( www.youtube.com/watch?v=ooazN6Nxa44. )
9.4. 현실적인 비용과 비현실적인 비용의 알고리즘
( www.youtube.com/watch?v=s9T2w-dvskM )
10.1. P클래스와 NP클래스 문제의 개념
( www.youtube.com/watch?v=SW0fRQQYkdA )
10.2. NP클래스 문제의 예
( www.youtube.com/watch?v=6rmJb_6Vx18 )
10.3. NP완전문제의 개념
( www.youtube.com/watch?v=J4d2T7XnOT4. )
11.1. 건너풀기의 개념과 어려운 문제 판별법
( www.youtube.com/watch?v=OBcg0gg1rW8 )
11.2. 어려운 문제 현실적으로 풀기: 통밥과 무작위
( www.youtube.com/watch?v=Fi8C0Y_FWEQ )
11.3. 어려운 문제의 적당한 해결법
( www.youtube.com/watch?v=ZllOMcRSXFA )
12.1. 양자의 특이한 세가지 현상
( www.youtube.com/watch?v=zR0_P-yRlj4. )
12.2. 양자현상을 수학으로 표현하기
( www.youtube.com/watch?v=QAtGLcualF4. )
12.3. 양자 인수분해 알고리즘
( www.youtube.com/watch?v=634xFLh0Mps )
13.1. 양자 탐색 알고리즘
( www.youtube.com/watch?v=OXtZLhRsVow )
13.2. 프로그래밍 언어와 논리
( www.youtube.com/watch?v=zvu6Yl0lYV8 )
13.3. 복잡한 소프트웨어
( www.youtube.com/watch?v=tfSsdphNPlY )
13.4. 소프트웨어 검증기술의 필요성
( www.youtube.com/watch?v=N3diHTTO9jM )
13.5. 다양한 프로그래밍 언어
( www.youtube.com/watch?v=n9Xr7GQjK40 )
14.1. 번역사슬
( www.youtube.com/watch?v=sBoID0m97jY )
14.2. 자동번역의 원리
( www.youtube.com/watch?v=lQn7zMMgFVQ )
14.3. 상위언어의 해석실행
( www.youtube.com/watch?v=8yMdCnVNai0 )
15.1. 프로그래밍 언어의 두 기원
( www.youtube.com/watch?v=NLND6AgMOBA )
15.2. 언어의 중력과 람다계산법의 정의
( www.youtube.com/watch?v=waCG44GCisE )
15.3. 람다계산법의 예와 상위의 계산
( www.youtube.com/watch?v=Wq0yxuTQEkM )
16.1. 추론규칙을 이용한 논리증명 예
( www.youtube.com/watch?v=jndOVbEa2eU )
16.2. 프로그래밍언어와 추론규칙의 대응
( www.youtube.com/watch?v=JciDeZALn1M )
16.3. 프로그램은 논리증명
( www.youtube.com/watch?v=mLNCPD5OCUo )
16.4. 이 거울이 인도해 준 소프트웨어 검산 기술
( www.youtube.com/watch?v=JGV73xmXR4s )
17.1. 논리를 이용해서 프로그램 구도잡기
( www.youtube.com/watch?v=tjWwP489hwY )
17.2. 논리를 이용해서 프로그램 검산하기
( www.youtube.com/watch?v=ls8_fKYp6R0 )
17.3. 검산의 원리: 요약의 그물
( www.youtube.com/watch?v=iCkiE5tlLnk )
18.1. 인간 지능/본능/현실의 확장
( www.youtube.com/watch?v=LSUd-dg-2Hg )
18.2. 지식표현의 확장
( www.youtube.com/watch?v=3QDZi6ROsI0 )
18.3. 지식생성의 확장
( www.youtube.com/watch?v=Ldedjbv7gAI )
19.1. 디덕/앱덕/인덕과 기계학습
( www.youtube.com/watch?v=7d8Z5yP3NOQ )
19.2. 기계학습과 빅데이터의 함정
( www.youtube.com/watch?v=KiW_LDSCDUQ )
19.3. 지식생성의 예: 인간 염기서열 판명
( www.youtube.com/watch?v=tJERxIlVWl8 )
20.1. 지식생성의 예: 인간 커넥텀 프로젝트
( www.youtube.com/watch?v=j-tds_aTrtg )
20.2. 지식생성의 예: 빅 메카니즘 프로젝트
( www.youtube.com/watch?v=pELjBLXi7cU )
20.3. 지식검색: 구글 페이지 순위 매기기
( www.youtube.com/watch?v=an0gYDwx5ZY )
20.4. 구글 페이지 순위 매기기 알고리즘
( www.youtube.com/watch?v=PTX_l2oQdzE )
20.5. 인간과 컴퓨터의 협업: 인간 계산, 팀워크 지능, 군중 지능
( www.youtube.com/watch?v=b0GGGSxdybE )
21.1. 놀이본능의 확장
( www.youtube.com/watch?v=PjUGOinbfBs )
21.2. 소통본능의 확장
( www.youtube.com/watch?v=XaQv-wRvXZI )
21.3. 샤논의 정보이론
( www.youtube.com/watch?v=UwUR7vl4VgQ )
21.4. 메세지 인코딩과 오류수정 장치
( www.youtube.com/watch?v=8XQAlFQJV6M )
22.1. 시공간의 확장: 가위바위보와 비밀
( www.youtube.com/watch?v=PsjYdhvac6Q )
22.2. 암호기술: 공개키와 인터넷 상거래
( www.youtube.com/watch?v=VKZOR2KDPjo )
22.3. 동형암호기술: 완벽한 하인
( www.youtube.com/watch?v=tRrufM0cxvQ )
23.1. 디지털 서명 기술: 진품감정
( www.youtube.com/watch?v=K60cxl_J3gA )
23.2. 소프트웨어 오류의 위험성
( www.youtube.com/watch?v=gHPJIgI1DYM )
23.3. 소프트웨어 오류 미리 검사하기
( www.youtube.com/watch?v=cuz3CIhz6kA )
23.4. 강의 마무리
( www.youtube.com/watch?v=-N_sWQ7Na0M )
(2022.04.06.)
