Date | Topic | Lecture Notes |
---|---|---|
Jan 13     | Preliminaries     | Introduction to “Science of Programming” |
Jan 15     | Preliminaries     | Preliminaries — First Order Predicate Logic |
Preliminaries     | Preliminaries — Semantics of Expressions | |
Feb 3     | Deterministic Program     | Deterministic Program — The While Program |
Deterministic Program     | Deterministic Program — The While Program | |
Object-Oriented Programs     | Object-Oriented Programs | |
Mar 12     | Rules and Axioms    | Rules and Axioms |
Mar 24     | Disjoint Parallel Programs    | Disjoint Parallel Programs |
Apr 1     | Parallel Programs with Shared Variables    | Parallel Programs with Shared Variables |
Apr 16     | Parallel Programs with Synchronization    | Parallel Programs with Synchronization |
Apr 20     | Nondeterministic Programs    | Nondeterministic Programs |
Apr 28     | Distributed Programs    | Distributed Programs |
Apr 28     | Fairness    | Fairness |
Check the assignments here or the Blackboard later. Your solutions should be submitted to the BB.
If you need a latex template, please check here.
HW | Due | Topic | Solution |
---|---|---|---|
HW 1     | Preliminaries | Solution 1 | |
HW 2 | Feb 28, 11:59pm | Sequential Deterministic Programs | Solution 2 |
HW 3 | Object-Oriented Programs | Solution 3 | |
HW 4 | Parallel Programs and Nondeterministic Programs | Solution 4 |
Test | Date | Covers | Solution |
---|---|---|---|
Exam 1 | Preliminaries | Solution 1 | |
Exam 2 | Mar 5 | Sequential Deterministic Programs | Solution 2 |
Exam 3 | Apr 16     | Object-Oriented Programs and Parallel Programs | Solution 3 |
Final Exam     | TBD     | Comprehensive |