Two corrections added 10 February 2006.
There are eleven questions for 100 total points. All are from the textbook, A Mathematical Foundation for Computer Science. "Problem 1.1.2", for example, is at the end of Section 1.1 and is labeled "P1.1.2". The number after each problem is its individual point value. Make sure you don't do an Exercise when a Problem is assigned! (Though the Exercises should be good practice and the answers to them are in the back of the book.)
Students are responsible for understanding and following the academic honesty policies indicated on this page.
This is an individual assignment, so each student is responsible for an independent writeup.
Pages 1-7 and 1-8: Problems 1.1.4 (10) and 1.1.5 (15).
Pages 1-14 through 1-16: Problems 1.2.1 (5) and 1.2.2 (10). Note: The assumption from 1.2.1 that A = {a} is not valid in 1.2.2.
Pages 1-28 and 1-29: Problems 1.4.2 (10) and 1.4.9 (5).
Page 1-37: Problem 1.5.2 (10).
Page 1-43: Problem 1.6.5 (10).
Pages 1-48 and 1-49: Problems 1.7.2 (10) and 1.7.6 (5).
Page 1-53: Problem 1.8.4 (10). Correction: On the third line of the problem the "q2=2p2" should be replaced by "p2=2q2". Also, the new proposition in the fourth line should be "p is even".
Last modified 10 February 2006