| 1/24 | Q0 | Course Intro | Chapter 1 |
| 1/29 | Q1 | Scheme Intro | Chapter 11 |
| 1/31 | | Scheme Lists | Sections 11.1-11.3 |
| 2/5 | | UNSCHEDULED CLASS CANCELLATION | Note, subsequent dates may be postponed by as much as 1 week |
| 2/7 | | UNSCHEDULED CLASS CANCELLATION | |
| 2/12 (was 2/5) | Q2 | Scheme Lists | Sections 11.1-11.3 |
| 2/14 (was 2/7) | | Scheme Recursion, Continuations | Chapter 11 |
| 2/19 (was 2/12) | Q3 | Bindings, Scope | |
| 2/21 (was 2/14) | | Scoping Mechanisms: Hashtable, A-List | Sections 5.1-5.5, 8.4 |
| ---------- |
| 2/19 | Q4 | Scoping Mechanisms: Lexical Scope [SJSU Enrollment Census] | |
| 2/21 | | Closures, Dynamic and Run-time Bindings | Section 8.4 |
| 2/26 | | MIDTERM #1 | |
| 2/28 | | M1 Review; Prolog Intro | Chapter 12 |
| 3/4 | Q5 | Prolog Unification, Resolution | Chapter 12 |
| 3/6 | | Prolog Lists | Chapter 12 |
| 3/11 | Q6 | Prolog Backtracking | Chapter 12 |
| 3/13 | | Parsing History | Section 3.5, Chapter 4 |
| 3/18 | Q7 | Regular Expressions, State Machines | Section 4.1 |
| 3/20 | | Context-Free Grammars | Chapter 4 |
| 3/25 | | No Class: Spring Recess | |
| 3/27 | | No Class: Spring Recess | |
| 4/1 | Q8 | Parsing Theory | Chapter 4 |
| 4/3 | | T.B.D. | |
| 4/8 | | MIDTERM #2 | |
| 4/10 | | M2 Review; Formal Semantics; Lambda Calculus Semantics | Chapter 13, Section 11.8 |
| 4/15 | Q9 | Axiomatic Semantics | Sections 13.4, 13.5 |
| 4/17 | | Weakest Precondition | also on-line notes |
| 4/22 | Q10 | Loop Invariants | also on-line notes |
| 4/24 | | Loop Invariants: Examples | also on-line notes |
| 4/29 | Q11 | Prototypes, Classes | Chapter 10 |
| 5/1 | | Inheritance,[ Dynamic vs. Static Binding ] | Chapter 10 |
| 5/6 | Q12 | Aliases, Danglers, Weak References, Garbage Collection | Sections 5.7, 8.4, 8.5 |
| 5/8 | | Continuation, Exception Handling Mechanisms | Sections 7.5, 8.6 |
| 5/13 | Q13 | Final Review | Last Day of Instruction |
| 5/20 | | FINAL EXAM | |
| 5/27 | | | Grades Due from Faculty |