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