SUNY at Stony Brook MAT 200: Logic, Language, and Proof
Fall 2007

Syllabus

What follows is the tentative syllabus for MAT 200, Lecture 1.

Lectures Topic
Week 1 (9/4 - 9/7) 1 1. Language of math
Week 2 (9/10 - 9/14) 2-3 2. Implications; 3. Proofs
Week 3 (9/17 - 9/22) 4-5 9/19: last day to drop without "W"
4. Proof by Contradiction; 5. Proofs by Induction;
Week 4 (9/24 - 9/28) 6-7 6. Language of set theory; 7. Quantifiers;
Week 5 (10/1 - 10/5) 8-9 8. Functions; 9. Injections, Surjections, Bijections
Week 6 (10/8 - 10/12) 10 9. Injections etc. continued; Midterm 1;
Week 7 (10/15 - 10/19) 11-12 10. Counting; 11. Finite sets
Week 8 (10/22 - 10/26) 13-14 12. Counting Functions and Subsets; 13. Number Systems
Week 9 (10/29 - 11/2) 15-16 14. Counting Infinite Sets
Week 10 (11/5 - 11/9) 17-18 11/5: Last day to drop a class
Geometry: §1 (Introduction) through §4 (Protractor Axiom)
Week 11 (11/12 - 11/16) 19-20 Geometry: §5 (Triangles)
Week 12 (11/19 - 11/23) Midterm 2
11/21: no class (correction day)
Week 13 (11/26 - 11/30) 21-22 Geometry: §6 (Parallels) and §7 (Similarity)
Week 14 (12/3 - 12/7) 23-24 19. Modular Arithmetic; 21. Congruence Classes
Week 15 (12/10 - 12/14) 25-26 21. Congruence Classes (continued); 22. Partitions and Equivalence Relations
Dec 19 Final Exam (5:00pm-7:30pm)