Math 310 - Introduction to Mathematical Reasoning
Fall 2014

Syllabus

TeX Resources:
Blank TeX document
Wayne's Guide to TeX
Hannah's Symbols List

Problem Solving Resources:
Polya's Four Steps to Problem Solving (source: George Melvin)

Lecture Notes:

Statements & Connectives (tex version)
    HWK: 1.1 (pg. 12): 1-4, 7 (Turn in #7 (a), (b), (d)) - due 9/15
               2.1 (pg. 40): 1, 3-6, 8, 9, 11, 13 (Turn in #11 (c)) - due 9/15
               2.2 (pg. 48): 1-4, 5 (a), 6, 7 (a), 8-12 (Turn in #1 (c), 3 (f), 7 (a), 11) - due 9/15

Quantifiers (tex version)
    HWK: 2.4 (pg. 74): 1, 3-5, 8 (Turn in #3 (a), (c), 8) - due 9/22

Direct Proofs (tex version)
    HWK: 1.2 (pg. 26): 1-5, 7-10, 13 (Turn in #2 (b), 4 (c), 7 (a)) - due 9/29
               3.1 (pg. 96): 1-6, 16, 19 (Turn in #1 (c), 3 (c), 16 (c), 19 (c)) - due 9/29
               3.4 (pg. 137): 3, 6, 7 (Turn in #3) - due 9/29

Indirect Proofs & Proofs Involving Quantifiers
    HWK: 3.2 (pg. 112): 1, 3, 5, 9-11, 14-17, 19 (Turn in #1 (b), 5, 14 (b), 19 (a)) - due 10/13
               3.3 (pg. 126): 2-7, 9-10, 14, 20 (Turn in #2 (b), 4, 14, 20 (b)) - due 10/13

Set Theory (tex version)
    HWK: 5.1 (pg. 224): 1-5, 14 (Turn in #14) - due 10/27
    HWK: 5.2 (pg. 238): 1, 2, 6, 17 (a), (c) (Turn in #17 (a), (c)) - due 10/27

Set Operations (tex version)
    HWK: 5.1 (pg. 224): 6-10 (Turn in #6) - due 10/27
               5.2 (pg. 238): 7-17 (Turn in #7 (b), 9, 13 (d), 17 (c)) - due 10/27
               5.3 (pg. 251): 1-3, 6, 9-12 (Turn in #11 (a)) - due 10/27
               5.4 (pg. 262): 1, 3-8 (Turn in #6) - due 11/10

Indexed Families (tex version)
    HWK: 5.5 (pg. 273): 1-5, 7-8, 10 (Turn in #4 (a), 5 (b), 8 (a)) - due 11/17

Mathematical Induction
    HWK: 4.1 (pg. 180): 3, 6, 8, 10, 14-16, 18-20 (Turn in #3 (b), 8 (b), 15, 18 (c)) - due 11/17
               4.2 (pg. 196): 1-3, 6, 12, 13, 17 (a), 19 (Turn in #12) - due 11/17

Complete Induction
    HWK: 4.3 (pg. 207): 1, 2 (c), (f), 4, 6, 8, 9, 12-14, 22, 23 (Turn in #6, 13, 22) - due 11/17

Cartesian Products and Relations (tex version)
    HWK: 7.1 (pg. 370): 1, 2 (a)-(c), 3 (a), (b), 5 (a), (b), 8, 10 (a), (b) (Turn in a proof of the following claim: "Dom(R^(-1)) = Rng(R).") - due 11/24

Equivalence Relations (tex version)
    HWK: 7.2 (pg. 383): 1, 3-11, 14, 15 (Turn in #4, 11, 15) - due 12/1
               7.3 (pg. 397): 3-5, 7 (a)-(d), 9, 11, 13 (Turn in #9, 11 (c)) - due 12/1

Functions as Relations (tex version)
    HWK: 6.1 (pg. 291): 1-8
               6.2 (pg. 303): 1-5, 7-11

Functions That Are Onto; One-to-One Functions (tex version)
    HWK: 6.3 (pg. 317): 1-4, 8-19

Miscellaneous:
Generating a Truth Table Tutorial