Programming Principles
CS220
Spring Semester
2012 (3 Hours)
|
|
|
|
|
|
|
|
Tuesday, Thursday 1:00-2:15PM (Classroom 1101 ) |
|
|
|
|
|
|
|
|
Taisook Han (Office: CS Dept. Building 2428) |
|
|
Office Hours: Monday 2 ~ 3:00PM, or by appointment. |
|
|
Email: han at cs.kaist.ac.kr |
|
|
Phone: (042) 350-3533 |
|
|
|
|
|
|
|
|
Head TA: 황준형
(Hwang, Joonhyung) : Rm 2430 (x7833), |
|
|
|
|
|
|
|
|
This course's goal is to provide students with programming principles and a good feel for the elements of style and aesthetics of programming, which are necessary in controlling the intellectual complexity of large yet robust software systems. The covered topics include: induction and recursion, data abstraction and representation, values and applicative programming, objects and imperative programming, streams and demand-driven programming, modularity and hierarchy, exceptions and advanced control, and higher-order functions and continuations. |
|
|
|
|
|
|
|
|
None. |
|
|
|
|
|
|
|
|
Harold Abelson and Gerald Jay Sussman, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|