Schedule for CSC 530, Spring 2021
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 | QUIZ, Intuitionistic Propositional Logic II | ||||
M | 12 | Project Discussion, Sets & Induction | A2 due | |||
W | 14 | QUIZ, Version Space Algebras | ||||
M | 19 | Project Discussion | A3 due | |||
W | 21 | QUIZ, TBA | ||||
M | 26 | TBA | A4 due | |||
W | 28 | TBA | ||||
M | May 3 | TBA | ||||
W | 5 | QUIZ, TBA | ||||
M | 10 | TBA | ||||
W | 12 | TBA | ||||
M | 17 | TBA | ||||
W | 19 | QUIZ, TBA | ||||
M | 24 | TBA | ||||
W | 26 | TBA | ||||
M | 31 | TBA | ||||
W | Jun 2 | TBA |