Tentative Course Schedule
| Week | Topic | Readings | Assignments Due |
|---|
| 1 | Introduction | Chapter 1 |
| Computability | Chapter 2 |
| 2 | Recursion and Lisp | Chapter 3 | Hwk #1 due 1/27 |
| 3 | Lambda Calculus | Chapter 4 | Hwk #2 due 2/3 |
| 4 | Syntax and Compilers | Section 4.1 | Hwk #3 due 2/10 |
| 5 | Algol Family and ML | Chapter 5 | Hwk #4 due 2/17 |
| 6 | Type Systems | Chapter 6 | Hwk #5 due 2/24 |
| 7 | Scopes and Functions | Chapter 7 | Hwk #6 due 3/3/06 |
| 8 | Control Structures | Chapter 8 | Midterm 3/10/06 |
| Midterm: 3/10/06 | Chapters 1-8 |
| 9 | Data Abstraction | Chapter 9 | Hwk #7 due 3/24/06 |
| 10 | Object-Orientation | Chapter 10 | Hwk #8 due 4/7/06 |
| 11 | Simula and Smalltalk | Chapter 11 | Hwk #9 due 4/14/06 |
| 12 | C++ | Chapter 12 | Hwk #10 due 4/14/06 |
| 13 | Java | Chapter 13 | Hwk #11 due 4/21/06 |
| 14 | Concurrency | Chapter 14 | Hwk #12 due 4/28/06 |
| 15 | Logic Programming | Chapter 15 |