Logic, Language, and Proof

Logic, Language, and Proof
Math 200

Approximate Schedule for MAT200, Fall 2008 HOMEWORK:

NO EXCEPTIONS: late homework will not be accepted

Posted here every mid-week
Due the following week in class
Monday for Lecture 1
Tuesday for Lecture 2
Graded homework will be returned the following week (on the same days)
Questions about the grading of the homework should be directed to the grader.

Homework must be stapled WITH A METALLIC STAPLE

We shall (tentatively) cover Parts I (1-5), II (6-9), III (10-14) and V (19, skip 20, 21-22) and (parts of) the Notes on Geometry

Week	Topics	Homework
Week of 9/1	SYLLABUS DISCUSSION 1 The Language of Mathematics 2 Implications	HW 1: On pages 53-54: problems 4 through 6. Text problems 2.1(p.19), 2.2(p.20)should be done, but won't be graded (since the answers are in the back). answers
Week of 9/8	3 Proofs 4 Proof by Contradiction	HW 2 : Prove that if n is an integer, 2n+1 is odd. On pages 53-54: problems 7 through 11. Text problems 3.2 and 3.3(p.29), 4.2 and 4.3 (p.37), answers
Week of 9/15	5 Induction 6 The Language of Set Theory	HW 3:Ungraded problems (answers in back): 5.1 through 5.7 (p. 51-2), 6.4 through 6.7 (p. 72-3). On pages 54-56: problems 12, 13, 14, 16, 17, 18, 20, 21, 25. On pages 115-117: problems 3, 4, 5, 8. answers
Week of 9/22	7 Quantifiers 8 Functions	HW 4: Ungraded problems (answers in back): 7.1, 7.5 through 7.8 (p. 86-7), 8.1, 8.3, 8.5 (p.99) On pages 115-119: problems 11, 12, 13, 15. answers
Week of 9/29	9 Injections, Surjections, and Bijections	HW 5: Ungraded problems: 9.1, 9.2, 9.4 (p. 113-4). On pages 117-119: problems 16, 18, 19, 20. answers
Week of 10/6	10 Counting	HW 6: Ungraded problems (answers in back): 10.2, 10.3 (p.132) On pages 182-184: problems 1, 3. (due 10/20 or 10/21) answers
Week of 10/13	Midterm I solutions: lec 1, lec 2	In class. This will cover chapters 1-9.
Week of 10/20	11 Properties of Finite Sets 12 Counting Functions and Subsets 13 Number Systems.	HW 7 (due 10/27 or 10/28): On pages 182-185: problems 5, 6, 10, 11, 14. Ungraded problems (answers in back): 11.2, 11.4 answers HW 8 (Lecture 1- due 11/3 , Lecture 2- due 10/28): On pages 182-186: problems 17, 18, 23, 24, 25, 26. Ungraded problems (answers in back): 12.1 through 12.5, 13.4 answers
Week of 10/27	14 Counting infinite sets Geometry Notes Introduction through 3 Ruler Axiom	HW 9(due 11/3 or 11/4): Ungraded problems (answers in back): 14.1, 14.2, and 14.3. Geometry notes: Exercises 2.3, 2.6, 3.1, 3.2, and 3.3 answers
Week of 11/3	1-4 Geometry notes	HW 10: Exercises 4.3, 4.4, 4.7, and 4.8 answers
Week of 11/10	5-6 Geometry	HW 11: 5.2, 5.5, 5.6, 5.10, 6.1, 6.3 Due 11/24 or 11/25 answers
Week of 11/17	Midterm II	In class. This will cover chapters 10-14 and Geometry 1-4 practice exam lecture 1 solutions lecture 2 solutions lecture 1 stats
Week of 11/24	6, 7 Geometry	HW 12: 6.4, 6.6, 6.10, 6.12 and 7.1, 7.3, 7.4bg Due 12/1 or 12/2 (Lecture 2 can be turned in on 12/9). answers
Week of 12/02	7 Geometry, 19Congruence	HW 13: 7.5, 7.6, 7.7, 7.11 Ungraded problems: p.239 n. 19.1, 19.3, 19.4. Due 12/8 or 12/9
Week of 12/09	21 Congruence Classes Review extra credit solutions	HW 14: 21.1-6 (not to be turned in) practice exam

UNDER CONSTRUCTION FOR THE REST OF THE SEMESTER