Maggie Johnson Handout #23

CS103A

Problem Set 6

On all the following, provide “semi-formal” proofs as described in the Proof Forms handout. Do not give informal proofs.

Remember: The Rosen textbook usually provides “proofs” that are sketchy, vague, and lacking in precision. You should remember this when you are checking solutions to your proofs against those provided in the Student Solutions Manual. Your proofs should, in general, be more formal than those in Rosen.

Proving Real Theorems

Rosen, pp. 182-186:

1) # 1

2) # 9

3) # 11

4) # 17-25 odds

5) # 33

6) # 35

7) # 41

8) # 43, a & e

9) # 61

10) # 67

Inductions

For the following proofs, you should use some form of inductive argument. Don’t forget the six steps!

Rosen, pp. 199-202:

1) # 3-9, odds

2) # 15

3) # 21

4) # 33

5) # 45

6) # 59