Schedule for CSC 530, Spring 2017
Date | Topic | Readings | Lab | Assignment due | Other | |
M | Apr 3 | Hello, overview of LC semantics | ||||
W | 5 | Quick intro to the SAT problem | ||||
M | 10 | Intuitionistic Propositional Logic I | ||||
W | 12 | Intuitionistic Propositional Logic II | ||||
F | 14 | Assignment 1 due | ||||
M | 17 | Max Zinkus, Kyle Piddington | ||||
W | 19 | Andrew, Ryan Gelston, Alanna Buss, Andrew Gilbert | ||||
M | 24 | TBA | ||||
W | 26 | TBA | ||||
F | 28 | Assignment 2 due | ||||
M | May 1 | TBA | ||||
W | 3 | TBA | ||||
M | 8 | TBA | ||||
W | 10 | TBA | ||||
M | 15 | TBA | ||||
W | 17 | TBA | ||||
M | 22 | TBA | ||||
W | 24 | TBA | ||||
M | 29 | TBA | ||||
W | 31 | TBA | ||||
M | Jun 5 | TBA | ||||
W | 7 | TBA |