|
Date
|
Topic
|
Readings
|
Lab
|
Assignment due
|
Other
|
| M |
Mar 29 |
Hello, overview of LC semantics |
|
|
|
|
| W |
31 |
No Class, Cesar Chavez Day |
|
|
|
|
| M |
Apr 5 |
Paper discussion, LC semantics II |
|
|
A1 due
|
|
| W |
7 |
Intuitionistic Propositional Logic II |
|
|
|
|
| M |
12 |
Project Discussion, Sets & Induction |
|
|
A2 due
|
|
| W |
14 |
Version Space Algebras |
|
|
|
|
| M |
19 |
Project Discussion |
|
|
A3 due
|
|
| W |
21 |
TBA |
|
|
|
|
| M |
26 |
Logic, Algebra, Farkas' Lemma |
|
|
|
|
| W |
28 |
General Q&A |
|
|
|
|
| M |
May 3 |
Project discussion |
|
|
A4 due
|
|
| W |
5 |
TBA |
|
|
|
|
| M |
10 |
Project discussion, Racket Macros |
|
|
A5 due
|
|
| W |
12 |
Overivew of SVM semantics, phi nodes |
|
|
|
|
| M |
17 |
No Class |
|
|
|
|
| W |
19 |
Rosette basics |
|
|
|
|
| M |
24 |
TBA |
|
|
|
|
| W |
26 |
TBA |
|
|
A6 due
|
|
| M |
31 |
No Class, Memorial Day |
|
|
|
|
| W |
Jun 2 |
TBA |
|
|
|
|