Dr. Jim Sasaki, CS Dept., Illinois Institute of Technology
For posted scores, go to myIIT → Blackboard.
| Week | Date | Lecture| Activity | Topic | Note |
|---|---|---|---|---|
| 1 | Mon Jan 9 | Lec 1 | Act 1 | What is Sci of Pgm'g? Propositional Logic | |
| 1 | Wed Jan 11 | Lec 2 | Act 2 | More Logic | |
| 2 | Mon Jan 16 | Martin Luther King Day | (No class) | |
| 2 | Wed Jan 18 | Lec 3 | Act 3 | Expressions and States | |
| 3 | Mon Jan 23 | Lec 4 | Act 4 | State Updates and Satisfaction | |
| 3 | Wed Jan 25 | Lec 5 | Act 5 | while programs; Semantics of programs | |
| 4 | Mon Jan 30 | Lec 6 | Act 6 | Semantics of programs; Hoare Triples | |
| 4 | Wed Feb 1 | Quiz 1 (1st 30 min) | Covers Lect 1-4 | |
| 4 | Wed Feb 1 | Lec 7 | Act 7 | Hoare Triples | |
| 5 | Mon Feb 6 | Lec 8 | Act 8 | Weakening and Strengthening Conditions | |
| 5 | Wed Feb 8 | Lec 9 | Act 9 | Syntactic Substitution | Did Act 8 |
| 6 | Mon Feb 13 | Lec 10 | Proof rules for Hoare Triples | |
| 6 | Wed Feb 15 | Lec 11 | Proof rules; Assignment; Substitution | |
| 7 | Mon Feb 20 | Lec 12 | Substitution | |
| 7 | Wed Feb 22 | Lec 13 | Proofs | |
| 8 | Mon Feb 27 | Lec 14 | Proof Outlines | |
| 8 | Wed Feb 29 | Midterm Exam | Covers Lect 1-12; some emphasis on Lect 5-12 | |
| 9 | Mon Mar 5 | Lec 15 | Termination | |
| 9 | Wed Mar 7 | Lec 16 | Finding Bounds | |
| 10 | Mon Mar 12 | Lec 17 | Finding Invariants | |
| 10 | Wed Mar 14 | Lec 18 | Array Assignments | |
| 11 | Mon Mar 19 | Spring Break | (No class) | |
| 11 | Wed Mar 21 | Spring Break | (No class) | |
| 12 | Mon Mar 26 | Lec 19 | Parallel Programs; Evaluation Graphs | |
| 12 | Wed Mar 28 | Quiz 2 (1st 30 min) | Covers Lect 13-18 | |
| 12 | Wed Mar 28 | Lec 20 | Disjoint Conditions | |
| 13 | Mon Apr 2 | Lec 21 | Auxiliary Variables | |
| 13 | Wed Apr 4 | Lec 22 | Interference | |
| 14 | Mon Apr 9 | Lec 23 | Interference | |
| 14 | Wed Apr 11 | Lec 24 | Synchronization | |
| 15 | Mon Apr 16 | Lec 25 | TBA | |
| 15 | Wed Apr 18 | Lec 26 | TBA | |
| 16 | Mon Apr 23 | Lec 27 | TBA | |
| 16 | Wed Apr 25 | Lec 28 | TBA | |
| 17 | Mon Apr 30 | Final Exam (5-7 pm) | Comprehensive; some emphasis on Lect 19-end | |
| 18 | Wed May 9 | Final Grades Due |
*See IIT's Final Exam Schedule for other courses.
| Due Date | Homework | Solution | Topic | Note |
|---|---|---|---|---|
| Wed Jan 25 | HW 1 | Solution | Propositional & Predicate Logic | |
| Wed Feb 22 | HW 2 | Program Syntax & Semantics; Correctness Triples |