| Week 1 8/23-27/06 | ||
| Overview | Ch. 1 | No Lab |
| Computability | Ch. 2 | |
| Week 2 8/28-9/1 | ||
| Halting Problem | Ch. 2 | Lab #1 |
| Lambda Calculus | Sec. 4.2 | |
| Denotational Semantics | Sec. 4.3 | |
| Week 3 9/4-8/06 | Labor Day (no class 9/4) | No Lab |
| Recursion and Lisp | Ch. 3 | |
| Week 4 9/11-9/15 | ||
| Prog. Lang. Syntax | Ch. 4 | Lab #2 |
| Compilers and Interpreters | T-Diagrams, Trusting Trust | |
| Week 5 9/18-22 | ||
| Algol Family History | Ch. 5 | Lab #3 |
| ML | ||
| Week 6 9/25-29 | ||
| Type Systems | Ch. 6 | Lab #4 |
| Week 7 10/2-6 | ||
| Scopes and Functions | Ch. 7 | Lab #5 |
| Week 8 10/9-13 | ||
| Control Structures | Ch. 8 | Lab #6 |
| Week 9 10/16-20 | ||
| Data Abstractions | Ch. 9 | Lab #7 |
| Week 10 10/23-27 | ||
| Midterm Review | Lab #8 | |
| Midterm Exam | ||
| Object Orientation | Ch. 10 | |
| Week 11 10/30-11/3 | ||
| Simula | Ch. 11 | Lab #9 |
| SmallTalk | ||
| Week 12 11/6-11/10 | ||
| C++ | Ch. 12 | Lab #10 |
| Week 13 11/13-11/17 | ||
| Java | Ch. 13 | Lab #11 |
| Week 14 11/20-11/24 | ||
| Concurrency | Ch. 14, Java Memory Model | No lab | Thanksgiving Holiday (no class 11/24) |
| Week 15 11/27-12/1 | ||
| Logic Programming | Ch. 15 | Lab #12 |
| Revieiw | ||