CS212 Problem Sets
Correction History - Problem Set 3
February 19, 1999
Problem Set posted to the web page
(Submitted by Course Staff, posted by Brandon)
Swindle Update made available (Version 3)
(Posted by Eli)
February 20, 1999
Formatting changes to the problem set. Spelling corrections.
(Posted by Brandon)
February 26, 1999
Typo corrected in problem 8
(Submitted by Aleksey, posted by Brandon)
Swindle upgrade (Version 4)
(Posted by Eli)
February 27, 1999
Problem 2 updated. You now also have to take care of nary implies. All connectives associate to the right.
(Submitted by Aleksey, posted by Brandon)
February 28, 1999
Specification to problem 4 made clearer.
(Submitted by Jeff, posted by Eli)
Typo in problem 8 corrected
(Submitted by Aleksey, posted by Brandon)
March 1, 1999
Additional material added to introduction section on implementing Propositional calculus in Scheme
(Submitted by Aleksey, posted by Brandon)
March 2, 1999
Swindle Upgrade (Version 5)
(Posted by Eli)
March 3, 1999
Swindle Upgrade (Version 6)
(Posted by Eli)