SUNY at Stony Brook MAT 200: Logic, Language, and Proof
Spring 2016

Syllabus and Homeworks

Homeworks
Homework sets will be typically assigned weekly on Wednesday and due next Wed in class. They will be posted on this web site. (NOT on blackboard site!) Late homework will not be accepted. However, grades for homework assignments may be dropped in cases of documented medical problems or similar difficulties.

Week Dates Notes Topics HW Due date
1 1/25-1/29 1. Language of math. 2. Implications 1.2, 2.4, 2.5; p. 53: problems 1, 2, 3, 5 2/3
2 2/1-2/5 3. Proofs HW 2 2/15
3 2/8-2/12 4. Proofs by contradiction; No new HW
4 2/15-2/19 5. Induction principle; HW 3 2/24
5 2/22-2/26 6 Set Theory 7. Quantifiers HW 4 3/2
6 2/29-3/4 7. Quantifiers continued 8. Functions HW 5 3/9
7 3/7-3/11 Midterm
  3/14-3/18 Spring break
8 3/21-3/25 9. Injections, surjections, bijections p.118, #16i,ii,iii,v;#18; #19; #20; 3/30
9 3/28-4/1 10, 12: Counting finite sets p. 155, #12.3, 12.4; p. 182-185, #1, #3, #20 (Pigeonhole principle is given in Theorem 11.1.2 on p. 136); 4/6
10 4/4-4/8 14. Counting infinite sets p. 181, #4.2; p. 187, # 28. Also, prove that the set of irrational real numbers is not denumerable. 4/13
11 4/11-4/15 22. Equivalence relations p. 269-270, 22.1, 22.2 4/20
12 4/18-4/22 Equivalence relations and equivalence classes HW 10 4/27
13 4/25-4/29 Congruence classes and modular arithmetic HW 11 5/4
14 5/2-5/6