March  
Monday  Tuesday  Wednesday  Thursday  Friday 
25
Lecture
Intro to TypeScript 
26  27
Lecture
Intro to the Browser 
28
Section
HW1 prep 
29
Lecture
Overview of Correctness 
April  
Monday  Tuesday  Wednesday  Thursday  Friday 
01
Lecture
Specifications 
02  03
Lecture
Testing
23:00 HW1 due

04
Section
HW2 prep 
05
Lecture
Inductive Data Types 
08
Lecture
Proof by Calculation 
09  10
Lecture
Trees
23:00 HW2 due

11
Section
HW3 prep 
12
Lecture
Structural Induction 
15
Lecture
Debugging 
16  17
Lecture
Exceptions and Generics
23:00 HW3 due

18
Section
HW4 prep 
19
Lecture
Procedural Abstraction 
22
Lecture
Data Abstraction 
23  24
Lecture
Abs Functions and Rep Invariants
23:00 HW4 due

25
Section
HW5 prep 
26
Lecture
Floyd Logic for Straightline Code 
29
Lecture
Floyd Logic for Loops 
30  01
Lecture
Loops and Recursion
23:00 HW5 due

02
Section
HW6 prep 
03
Lecture
Arrays 
May  
Monday  Tuesday  Wednesday  Thursday  Friday 
06
Lecture
Loops on Arrays 
07  08
Lecture
Servers and Routes
23:00 HW6 due

09
Section
HW7 prep 
10
Lecture
Aliasing 
13
Lecture
Stateful UI in React 
14  15
Lecture
UI Modularity
23:00 HW7 due

16
Section
HW8 prep 
17
Lecture
Designing from the UI 
20
Lecture
ClientServer Interaction 
21  22
Lecture
ClientServer Debugging
23:00 HW8 due

23
Section
HW9 prep 
24
Lecture
Subtypes 
27
Memorial Day

28  29
Lecture
Equality 
30
Section
Final Review 
31
Lecture
Design Patterns
23:00 HW9 due

June  
Monday  Tuesday  Wednesday  Thursday  Friday 
03
17:0018:00 Final Review Session
CSE Breakouts 
04
12:302:20 Final exam
KNE 120 
05  06  07 