| 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 Straight-line 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
Full-Stack Apps I |
| 20
Lecture
Full-Stack Apps II |
21 | 22
Lecture
Full-Stack Apps III
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 | 04
12:30-2:20 Final exam
KNE 120 |
05 | 06 | 07 |