# CMPSCI 250: Introduction to Computation

### David Mix Barrington

### Spring, 2006

# Homework Assignment #1

#### Posted Friday 3 February 2006

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

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 "q**^{2}=2p^{2}" should be replaced by
"p^{2}=2q^{2}". Also, the new proposition in the fourth line
should be "p is even".

Last modified 10 February 2006