CSE 331 Autumn 2025 Schedule

September
MondayTuesdayWednesdayThursdayFriday
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
MondayTuesdayWednesdayThursdayFriday
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
MondayTuesdayWednesdayThursdayFriday
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
MondayTuesdayWednesdayThursdayFriday
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