[서울대 교양 강좌] 컴퓨터 과학이 여는 세계 (이광근 교수)

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.)