June | ||||
Monday | Tuesday | Wednesday | Thursday | Friday |
17
10:50-11:50 Lecture
EXED 110 Intro to TypeScript |
18 | 19
Juneteenth
|
20
Section
HW Fib prep
10:30 Software Setup due
|
21
10:50-11:50 Lecture
EXED 110 Intro to the Browser
23:00 Knowledge Check due
|
24
10:50-11:50 Lecture
EXED 110 Overview of Correctness and Specifications |
25 | 26
10:50-11:50 Lecture
EXED 110 Specifications (cont.)
23:00 HW Fib due
|
27
Section
HW Levels prep |
28
10:50-11:50 Lecture
EXED 110 Testing and Inductive Data Types |
July | ||||
Monday | Tuesday | Wednesday | Thursday | Friday |
01
10:50-11:50 Lecture
EXED 110 Proof by Calculation |
02 | 03
10:50-11:50 Lecture
EXED 110 Trees
12:00-13:00 Section (Optional)
DEM 102 HW Quilt prep
23:00 HW Levels due
|
04
Independence Day
|
05
10:50-11:50 Lecture
EXED 110 Structural Induction |
08
10:50-11:50 Lecture
EXED 110 Debugging |
09 | 10
10:50-11:50 Lecture
EXED 110 Exceptions and Generics
23:00 HW Quilt due
|
11
Section
HW Cipher prep |
12
10:50-11:50 Lecture
EXED 110 Floyd Logic for Straight-line Code |
15
10:50-11:50 Lecture
EXED 110 Floyd Logic for Loops |
16 | 17
10:50-11:50 Lecture
EXED 110 Loops and Recursion
23:00 HW Cipher due
|
18
Section
HW Weave prep |
19
10:50-11:50 Lecture
EXED 110 Arrays |
22
10:50-11:50 Lecture
EXED 110 Loops on Arrays |
23 | 24
10:50-11:50 Lecture
EXED 110 Servers and Routes
23:00 HW Weave due
|
25
Section
HW Chatbot prep |
26
10:50-11:50 Lecture
EXED 110 Aliasing |
29
10:50-11:50 Lecture
EXED 110 Stateful UI in React |
30 | 31
10:50-11:50 Lecture
EXED 110 UI Modularity
23:00 HW Chatbot due
|
01
Section
HW Squares prep |
02
10:50-11:50 Lecture
EXED 110 Designing from the UI |
August | ||||
Monday | Tuesday | Wednesday | Thursday | Friday |
05
10:50-11:50 Lecture
EXED 110 Client-Server Interaction |
06 | 07
10:50-11:50 Lecture
EXED 110 Client-Server Debugging
23:00 HW Squares due
|
08
Section
Final HW prep |
09
10:50-11:50 Lecture
EXED 110 Subtypes |
12
10:50-11:50 Lecture
EXED 110 Equality |
13 | 14
10:50-11:50 Lecture
EXED 110 Design Patterns
23:00 Final HW due
|
15
Section
OH for Final HW |
16
10:50-11:50 Lecture
EXED 110 TBD |