3분반 2018-03-07, 2018-03-14; 2분반 2018-03-14, 2018-03-15

허준희씨가 블로그에 올리는 웹툰 형식의 작품들입니다. 1,2,3,4,5 편을 죽 읽어보는 게 주교재보다 1장보다 훨씬 도움이 됩니다. 2장의 내용과 연관된 폰노이만 아키텍처에 대한 이야기도 나오고요.

1. 찰스 배비지와 에이다 러브레이스
2. 앨런 튜링과 폰노이만
3. 상업용 컴퓨터 시대
4. 처음에는 어떻게 프로그래밍을 했을까?
5. 소프트웨어 공학의 시작

여기에 나오지 않는 컴퓨터과학의 역사에서 중요한 이야기로는 논리학자 알론조 처치(Alonzo Church)와 람다계산법("람다 대수"라고 부르기도 함)(lambda calculus)에 대한 이야기가 있으니 수업시간에 잠깐 소개한다.

컴퓨터의 4가지 구성요소

• 입력 : 키보드, 마우스, 스캐너, 카메라, ...
• 출력 : 프린터, 모니터, 스피커, ...
• 중앙처리장치(CPU)
  • 제어장치(Control Unit 줄여서 CU)
  • 연산장치(Arithmetic Logic Unit 줄여서 ALU. "산술논리장치"라고도 부름)
  • (CPU 내부에 있는) 기억장치: 레지스터(오늘날의 컴퓨터는 HW는 거의 100% 이걸로) 또는 스택(지금은 가상머신에만 주로 쓰임). 그리고 그 외에 레지스터보다는 용량이 크면서 주기억장치의 일부 내용을 빠르게 접근하기 위한 cache 메모리를 장착하는 경우가 많다
• 기억장치
  • 주기억장치: ROM, RAM
  • 보조기억장치: HDD, SDD, CD, FDD, 테이프, ...

• 논리학자, 수학자
• 앨런 튜링, 다나 스콧 등 유명한 컴퓨터 과학자들의 박사학위 지도교수

위 이미지 출처 https://alchetron.com/Alonzo-Church
위 이미지 출처 http://www.azquotes.com/quote/819976

• 칸토어(1845-1918): 수학자. 집합론 창시자
• 프레게 (1848-1925) : 수리논리학자, 철학자
• 브라우어(1881-1966) : 수리철학자. 논리학자. 직관주의 창시자
• 헤이팅 (1898-1980) : 브라우어의 지도학생이었음. 논리학자, 수학자
• 괴델 (1906-1978): 수학자, 논리학자

관련 명작도서 컴퓨터 과학/공학도라면 어디가서 한번쯤 읽어봤다고 하면 좀 멋있는 책

• 괴델, 에셔, 바흐: 영원한 황금 노끈(개역개정판)