Dr. Jim Sasaki, CS Dept., Illinois Institute of Technology
Class times: CS 536-051: Tue 6:25 pm - 9:05 pm, SB 238 | CS 536-253: Internet
| Week | Date (Tue) | Due | Notes | Topic |
|---|---|---|---|---|
| 1 | Jan 22 | - | Notes 1 | Formal syntax; Expressions; States; Meanings of expressions |
| 2 | Jan 29 | - | Notes 2 | State updates; Predicate logic; Our programming language |
| 3 | Feb 5 | - | Notes 3 | Correctness triples |
| 4 | Feb 12 | HW 1 / Solution | Notes 4 | Connecting semantics of predicates, programs, and triples |
| 5 | Feb 19 | - | Notes 5 | Assignment; Syntactic substitution; Partial correctness proofs |
| 6 | Feb 26 | HW 2 (Updated Feb 19) / Solution | Notes 6 | Partial & correctness proofs; Proof outlines |
| 7 | Mar 4 | - | Notes 7 | Partial and total correctness proofs; Weakest preconditions |
| 8 | Mar 11 | - | Notes 8 | Exam 1; wp and sp; Finding invariants |
| - | Mar 18 | - | - | Spring Break |
| 9 | Mar 25 | HW 3 / Solution | Notes 9, Exam 1 Discussion | Exam 1 Review; Finding Invariants |
| 10 | Apr 1 | - | Notes 10 / Sample evaluation graph | Arrays; Parallel programs; Disjoint programs |
| 11 | Apr 8 | HW 4 / Solution | Notes 11 | Disjoint conditions; auxiliary variables |
| 12 | Apr 15 | HW 5 / Solution | Notes 12 | Shared variables |
| 13 | Apr 22 | - | Notes 13 / Deadlock graph | Exam 2 (will cover material since Exam 1, ≤ HW 5 and Notes 9); Synchronization |
| 14 | Apr 29 | HW 6 / Solution | Notes 14 | Synchronization and Semaphores |
| 15 | May 6 | HW 7 [Updated May 5] / Solution | Notes 15 | Exam 2 discussion; Nondeterminism |
| 16 | May 13 | - | - | CS 536 Final Exam, Tue May 13, 7:30 pm - 9:30 pm. See the University Final Exam Schedule for details. |