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)