SNUON_컴퓨터과학이 여는 세계_9.4 현실적인 비용과 비현실적인 비용의 알고리즘_이광근

(20:41)

SNUON_컴퓨터과학이 여는 세계_1.4 컴퓨터의 탄생비화2-자동판결/기계적추론 이란_이광근

(11:13)

SNUON_컴퓨터과학이 여는 세계_8.2 알고리즘과 언어_이광근

(18:45)

SNUON_컴퓨터과학이 여는 세계_10.2 NP클래스 문제의 예_이광근

(20:39)

SNUON_컴퓨터과학이 여는 세계_17.3 검산의 원리: 요약의 그물_이광근

(12:6)

SNUON_컴퓨터과학이 여는 세계_14.1 번역사슬_이광근

(15:23)

SNUON_컴퓨터과학이 여는 세계_20.1 지식생성의 예: 인간 커넥텀 프로젝트_이광근

(16:12)

SNUON_컴퓨터과학이 여는 세계_1.2 강의소개 및 계획소개_이광근

(21:41)

SNUON_컴퓨터과학이 여는 세계_1.5 괴델의 불완전성 정리와 튜링의 증명_이광근

(18:23)

SNUON_컴퓨터과학이 여는 세계_10.3 NP완전문제의 개념_이광근

(20:9)

SNUON_컴퓨터과학이 여는 세계_1.3 컴퓨터의 탄생비화1-수리명제 자동판결 문제_이광근

(13:14)

SNUON_컴퓨터과학이 여는 세계_3.3 멈춤문제를 푸는 튜링기계는 없다_이광근

(13:16)

SNUON_컴퓨터과학이 여는 세계_1.1 과목소개_이광근

(10:55)

SNUON_컴퓨터과학이 여는 세계_5.1 컴퓨터 구현: 속내용 감추며 차곡차곡 쌓기_이광근

(16:29)

SNUON_컴퓨터과학이 여는 세계_10.1 P클래스와 NP클래스 문제의 개념_이광근

(19:)

SNUON_컴퓨터과학이 여는 세계_3.4 멈춤문제를 이용한 튜링의 불완전성 증명_이광근

(17:38)

SNUON_컴퓨터과학이 여는 세계_3.2 보편만능의 기계 설계: 튜링기계의 하나_이광근

(16:6)

SNUON_컴퓨터과학이 여는 세계_8.1 소프트웨어를 잘 짜기위한 두개의 축_이광근

(17:47)

SNUON_컴퓨터과학이 여는 세계_12.1 양자의 특이한 세가지 현상_이광근

(15:50)

SNUON_컴퓨터과학이 여는 세계_12.2 양자현상을 수학으로 표현하기_이광근

(19:4)

SNUON_컴퓨터과학이 여는 세계_6.3 디지털 논리회로 만들기: 응답_이광근

(21:55)

SNUON_컴퓨터과학이 여는 세계_6.2 디지털 논리회로 만들기: 판정, 선택_이광근

(18:2)

SNUON_컴퓨터과학이 여는 세계_14.3 상위언어의 해석실행_이광근

(13:29)

SNUON_컴퓨터과학이 여는 세계_8.3 알고리즘의 예와 복잡도_이광근

(16:10)

SNUON_컴퓨터과학이 여는 세계_14.2 자동번역의 원리_이광근

(25:46)

SNUON_컴퓨터과학이 여는 세계_15.3 람다계산법의 예와 상위의 계산_이광근

(14:49)

SNUON_컴퓨터과학이 여는 세계_17.1 논리를 이용해서 프로그램 구도잡기_이광근

(16:11)

SNUON_컴퓨터과학이 여는 세계_13.3 복잡한 소프트웨어_이광근

(15:54)

SNUON_컴퓨터과학이 여는 세계_9.2 알고리즘의 예_이광근

(15:15)