Home
Search
SNUON_컴퓨터과학이 여는 세계_8.1 소프트웨어를 잘 짜기위한 두개의 축_이광근
SNUON_컴퓨터과학이 여는 세계 8 소프트웨어-컴퓨터라는 도구의 사용 1) 소프트웨어를 잘 짜기위한 두개의 축
show
SNUON_컴퓨터과학이 여는 세계_8.1 소프트웨어를 잘 짜기위한 두개의 축_이광근
SNUON_컴퓨터과학이 여는 세계_11.1 건너풀기의 개념과 어려운 문제 판별법_이광근
SNUON_컴퓨터과학이 여는 세계_12.2 양자현상을 수학으로 표현하기_이광근
SNUON_컴퓨터과학이 여는 세계_16.3 프로그램은 논리증명_이광근
SNUON_컴퓨터과학이 여는 세계_16.4 이 거울이 인도해 준 소프트웨어 검산 기술_이광근
SNUON_컴퓨터과학이 여는 세계_8.2 알고리즘과 언어_이광근
SNUON_컴퓨터과학이 여는 세계_17.1 논리를 이용해서 프로그램 구도잡기_이광근
SNUON_컴퓨터과학이 여는 세계_13.4 소프트웨어 검증기술의 필요성_이광근
SNUON_컴퓨터과학이 여는 세계_9.4 현실적인 비용과 비현실적인 비용의 알고리즘_이광근
SNUON_컴퓨터과학이 여는 세계_15.1 프로그래밍 언어의 두 기원_이광근
SNUON_컴퓨터과학이 여는 세계_8.3 알고리즘의 예와 복잡도_이광근
SNUON_컴퓨터과학이 여는 세계_20.2 지식생성의 예: 빅 메카니즘 프로젝트_이광근
SNUON_컴퓨터과학이 여는 세계_7.2 규칙표와 메모리에 읽고쓰는 회로, 폰 노이만의 디자인_이광근
SNUON_컴퓨터과학이 여는 세계_16.1 추론규칙을 이용한 논리증명 예_이광근
SNUON_컴퓨터과학이 여는 세계_21.2 소통본능의 확장_이광근
SNUON_컴퓨터과학이 여는 세계_8.4 비현실적으로 오래걸리는 문제_이광근
