Mathematics 108, Fall 2016

Intro to Formal Mathematics

Lectures:

Section 2: Tuesdays and Thursdays, 8-9:15am
Room 1004, Tahoe Hall



Instructor: Michael VanValkenburgh.

Office: Room 140, Brighton Hall
Office Hours:
Mondays 1-1:50pm
Tuesdays 9:30-11am
Wednesdays 4-5pm
Also by appointment.


A description of the course: Math 108, Fall 2016 (pdf)

Drop Policy


Announcements:

Our textbook is "A Transition to Advanced Mathematics (Seventh Edition)" by Smith, Eggen, and St. Andre.
Make sure to get the Seventh Edition! It is much cheaper than the Eighth Edition.
We will cover all of Chapters 1-4, and most of Chapter 5.


Final Exam Schedule. Please take this into account when registering for classes:
Thursday, December 15, 8-10am, in TAH 1002


Homework:

Instructions for Formatting Homework. (pdf)

Homework 1: Due Tuesday, September 6. (Find it on SacCT under "Content.")

Homework 2: Due Tuesday, September 13. (Find it on SacCT under "Content.")

Homework 3: Due Tuesday, September 20 (the day of Exam 1):
Section 1.4 (2, 7lm, 8, 9ab, 11ae)
Section 1.5 (2, 3cg, 4c, 5b, 6e, 7b, 8, 10, 12acd)

Homework 4: Due Tuesday, October 4:
Section 1.6 (1bd, 2ae, 4ade, 6fn, 7cefghj)
Section 1.7 (2ac, 3c, 6ad, 9ae, 11a, 13ab, 14d, 18)

Homework 5: Due Tuesday, October 11:
Section 1.7 (23aef)
Section 2.1 (1f, 6bd, 13, 15cdh, 18, 19dfg)
Section 2.2 (1dh, 2cf, 6cf, 9de, 11d, 12c, 16c, 19cf)

Homework 6: Due Tuesday, October 18:
Section 2.3 (1k, 6b, 7b, 8ab, 15d, 18cd)
Section 2.4 (6dej, 7cko, 8bh, 12, 13cf)

Homework 7: Due Thursday, November 3:
Section 3.1 (1abcd, 4bdk, 5eg, 8abcd, 9c, 15c)
Section 3.2 (1dg, 2c, 5eh, 6, 7, 9e)

Homework 8: Due Thursday, November 10:
Section 3.2 (11, 12, 19abc)
Section 3.3 (2abc, 3ad, 6a, 9, 12, 13)
Note: Exam 3 is on Thursday, November 17.

Homework 9: Due Tuesday, November 15:
Section 4.1 (1dehi, 3ef, 4de, 6ab, 7abcd, 18abc, 19ac)
Note: Exam 3 is on Thursday, November 17.

Homework 10: Due Tuesday, December 6:
Section 4.2 (1bj, 5gh, 14bcde, 15ab, 20bc)
Section 4.3 (1fgl, 2fgl, 6, 8cf, 9bd, 14cfg)



Review Problems for the Final Exam (not to be turned in):
Section 4.4 (1e, 3c, 5ab, 10ab)
Section 4.5 (2, 3, 6, 8, 10, 11, 12, 13, 14, 18)


Exams:

Exams and Solutions are posted on Sac CT.




Lecture Schedule

DateTopicsBookNotesCode
1. T 8/30 Propositions and Connectives. § 1.1
2. R 9/1 Conditionals and Biconditionals. § 1.2
3. T 9/6 Quantifiers. § 1.3
4. R 9/8 Basic Proof Methods, I. § 1.4
5. T 9/13 Basic Proof Methods, II. § 1.5
6. R 9/15 Review/Extra Topics.
T 9/20 EXAM 1
7. R 9/22 Proofs Involving Quantifiers. § 1.6
8. T 9/27 GCDs. § 1.7
9. R 9/29 Basic Concepts of Set Theory. § 2.1
10. T 10/4 Set Operations. § 2.2
11. R 10/6 Indexed Families of Sets. § 2.3
12. T 10/11 Mathematical Induction. § 2.4
13. R 10/20 Equivalent Forms of Induction. § 2.5
14. T 10/18 Review/Extra Topics.
R 10/20 EXAM 2
15. T 10/25 Cartesian Products and Relations. § 3.1
16. R 10/27 Equivalence Relations, I. § 3.2
17. T 11/1 Equivalence Relations, II. § 3.2
18. R 11/3 Partitions. § 3.3
19. T 11/8 More on Relations. § 3.1-3.3
20. R 11/10 Functions as Relations. § 4.1
21. T 11/15 Review/Extra Topics.
R 11/17 EXAM 3
22. T 11/22 Construction of Functions. § 4.2
R 11/24 NO CLASS (Thanksgiving)
23. T 11/29 One-to-one; Onto. § 4.3
24. R 12/1 Inverse Functions. § 4.4
25. T 12/6 Images of Sets. § 4.5
26. R 12/8 Review.
FINAL EXAM: 12/15, 8-10am