4190.210 Principles of Programming

Chung-Kil Hur
Software Foundations Lab /CSE/ Seoul National University

Objectives

• 능력. 이 강의는 학생들이 프로그램 작성의 기본 원리, 구성 요소, 프로그래밍 미학등을 습득하게 함으로써, 소프트웨어 시스템이 드러내는 복잡성을 손쉽게 다룰 수 있는 능력과 자신감을 익히게 한다.

• 보편. 이 강의에서 익힌 내용은 장차 어떤 언어를 사용하여 소프트웨어를 작성하더라도 유용하게된다. 이 강의는 학생들에게 특정 언어를 가르치는 과목(training)이 아니다. 명료하고 효과적으로 생각할 수 있게 하는 프로그래밍 교육(education)을 목표로한다.

• 눈높이. 이 강의는 프로그래밍 기술의 현재뿐 아니라 앞으로 나타날 미래에 대한 눈높이를 갖추도록 한다. 프로그래밍은 점점 상위의 레벨에서 이루어지고 있다. 프로그램이 기계를 사용하기 위한 도구라는 시각과 함께 기계가 프로그램 실행을 위한 도구라는 시각을 갖추도록 한다.

The topics covered are

• Elements & Compound (기본부품과 조합)
• Recursion & Iteration (재귀와 반복)
• Procedural & Data Abstraction (속내용 감추기)
• Modularity & Hierarchy (계층구조로 속내용 감추기)
• Types & Typeful Programming (타입으로 정리+이해하기)
• Program Proof (맞는 프로그램인지 확인하기)
• Values & Applicative Programming (값중심의 프로그래밍)
• Objects & Imperative Programming (물건중심의 프로그래밍)
• Exceptions & Advanced Control (예외상황 관리)

Policy

• Do not copy others' solutions. Otherwise you will get an "F".
• CloneChecker will detect copied programs automatically.

Homework Assignments & Project

• HW1: due 10/04 10/11 23:59. primitives, compound, recursion.
• HW2: due 10/11 10/18 23:59. recursion, typeful programming.
• HW3: due 10/25 23:59. typeful programming, data abstraction.
• HW4: due 11/01 11/04 23:59. data implementation, termination check, Huffman encoding, SKI reactor.
• HW5: due 11/08 11/11 23:59. data abstraction with multiple implementations.
• HW6: due 11/22 23:59. imperative/stateful programming, automatic typeful programming I.
• HW7: due 12/03 23:59. automatic typeful programming II, module programming I.
• HW8: due 12/13 23:59. module programming II.
• Project: due 12/20 23:59.

Slides & Resources

• Syllabus
• Textbook: Structure and Interpretation of Computer Programs(SICP), 2nd ed., Harold Abelson and Gerald Jay Sussman with Julie Sussman, MIT Press.
  (SICP's full-text on-line)
• Textbook (Translated): [컴퓨터 프로그램의 구조와 해석], 김재우 외, 인사이트, 2007
• Programming languages used in the course: MIT Scheme (or Racket) & OCaml
• To view/print PDF files: Acrobat Reader
• Lecture slides:
  • Part 0: For lecture, For printing(2in1, 4in1)
  • Part 1: For lecture, For printing(2in1, 4in1)
  • Part 2: For lecture, For printing(2in1, 4in1)
  • Part 3: For lecture, For printing(2in1, 4in1)
  • Part 4: For lecture, For printing(2in1, 4in1), inductive refinement examples

Readings (in Korean)

원리? 어떻게? 왜? 그렇다면?

• 프로그래밍 교육에서 실습언어의 선택
• 값중심의 프로그래밍   

Similar Courses

• MIT EECS 6.001 Structure and Interpretation of Computer Programs
• UC Berkeley CS61A Structure and Interpretation of Computer Programs
• CMU CS15-212 Principles of Programming