September | ||||
---|---|---|---|---|
Monday | Tuesday | Wednesday | Thursday | Friday |
22 | 23 | 24
Lecture
Procedural Abstraction |
25 | 26
Lecture
Formal Specifications |
29
Lecture
Testing |
30
Section
HW1 start |
01
Lecture
Calculation |
02 | 03
Lecture
Proof by Cases
18:00 HW1 at home due
|
October | ||||
---|---|---|---|---|
Monday | Tuesday | Wednesday | Thursday | Friday |
06
Lab
HW1 in class
Video: Induction
|
07
Section
HW2 start |
08
Lecture
Data Abstraction |
09 | 10
Lecture
Abstraction Functions
18:00 HW2 at home due
|
13
Lab
HW2 in class
Video: Representation Invariants
|
14
Section
HW3 start |
15
Lecture
Floyd Logic for Assignments |
16 | 17
Lecture
Floyd Logic for Conditionals
18:00 HW3 at home due
|
20
Lab
HW3 in class
Video: Floyd Logic for Loops
|
21
Section
HW4 start |
22
Lecture
Module Design |
23 | 24
Lecture
Aliasing
18:00 HW4 at home due
|
27
Lab
HW4 in class
Video: Subclasses
|
28
Section
HW5 start |
29
Lecture
Correctness of Immutable ADTs |
30 | 31
Lecture
Correctness of Mutable ADTs
18:00 HW5 at home due
|
November | ||||
---|---|---|---|---|
Monday | Tuesday | Wednesday | Thursday | Friday |
03
Lab
HW5 in class
Video: Defensive Programming
|
04
Section
HW6 start |
05
Lecture
Impossible by Design |
06 | 07
Lecture
Rust Type System
18:00 HW6 at home due
|
10
Lab
HW6 in class
Video: TypeScript Type System
|
11
Veteran's Day
|
12
Lecture
Arrays |
13 | 14
Lecture
Array Loops
18:00 HW7 at home due
|
17
Lab
HW7 in class
Video: Invariant to Code
|
18
Section
HW8 start |
19
Lecture
Subtypes |
20 | 21
Lecture
Generics
18:00 HW8 at home due
|
24
Lab
HW8 in class
Video: More Generics
|
25
Section
HW9 start |
26
Day Before Thanksgiving
|
27
Thanksgiving
|
28
Native American Heritage Day
18:00 HW9 at home due
|
December | ||||
---|---|---|---|---|
Monday | Tuesday | Wednesday | Thursday | Friday |
01
Lab
HW9 in class
Video: Tail Recursion
|
02
Section
Final review |
03
Lecture
Drawing Array Invariants |
04 | 05
Lecture
Weakening the Postcondition |
08 | 09
12:30-14:20 Final exam
|
10 | 11 | 12 |