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

(20:41)

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

(18:45)

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

(11:13)

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

(12:6)

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

(16:12)

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

(21:41)

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

(15:23)

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

(20:39)

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

(14:49)

SNUON_컴퓨터과학이 여는 세계_6.1 디지털 논리회로도의 조립식 구조_이광근

(20:3)

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

(18:2)

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

(21:55)

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

(16:10)

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

(25:46)

SNUON_컴퓨터과학이 여는 세계_2.1 기계적 계산의 정의: 튜링기계_이광근

(16:53)

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

(15:50)

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

(13:29)

SNUON_컴퓨터과학이 여는 세계_4.2 수리논리학의 역사 및 자동계산기의 역사_이광근

(15:16)

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

(15:15)