# Homework Assignment #1

#### Due on paper in class, Monday 13 February 2006

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.)

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".