• Instructor: Prof. Matthew Durham
• Office: Surge/Skye 234
• Email: mdurham [at] ucr [dot] edu
• Class meets: 3:30p-4:50p MW
• Classroom: CHASS Interdisciplinary North, Room 1002
• Office hours:
  • Tuesdays 3-4p in Skye 234.
  • Wednesdays 11a-12p in Skye 234.
  • Also by appointment.

• Discussion sections: T 1p - 1:50p in Skye 172, and Th 7p - 7:50p in Olmsted 1133
• Teaching assistant: Jade Master
• Contact info: jade [dot] master [at] ucr [dot] edu
• Office hours: M 2-4p and Th 4-6p, both in Skye 281.

Syllabus

Resources:

The textbook for this course is:

• Mathematical Reasoning: Writing and Proof, version 2.1, by Ted Sundstrom.

Available electronically at: https://www.tedsundstrom.com/mathreasoning

Secondary resource for the course, and material from which I've drawn heavily:

• Introduction to Proofs by Dana Ernst, et al

The first edition of this course was based in large part on the Math 144 courses designed by Julie Bergner.

I have taken inspiration and some exercises from Diana Davis.

Homework [This pdf file will be updated regularly.]

Cold tests:

Fall 2018's midterm + solutions

Failed Winter 2019 midterm

Successful Winter 2019 midterm + solutions

Fall 2018 final

Winter 2019 final

Hot tests:

Midterm (and its solutions)

Handouts:

• Handout 0 (for the discussion sections)
• Handout 1
• Handout 2
• Handout 3
• Handout 4
• Handout 5
• Handout 6
• Handout 7
• Handout 8
• Handout 9

Selected solutions to Handouts 7, 8, and 9

Assignments and classes:

• Course introduction and Handout 1 [Monday, 9/30]
  • Statements (Section 1.1) and Conditional Statements (Section 1.2)
    • For Wednesday 10/2:
      • Watch videos 1.2.1, 2.1.1, 2.1.8
      • Do the Preview Activities for Sections 1.1, 1.2, and 2.1
    • Recommended exercises from Section 1.1: 1-4, 9
    • Recommended exercises from Section 1.2: 1, 3, 6 (starred parts)
• Finish Handout 1 [Wednesday, 10/1]
  • For Monday 10/7:
    • Watch videos 2.1.1, 2.1.8, 2.2.2, and 2.2.3
    • Do the Preview Activities for Sections 2.1 (if you haven't already) and 2.2
• Handout 2 [Monday, 10/7]
  • Some basic logic (Sections 2.1 and 2.2)
    • Recommended exercises from Section 2.1: 1, 2, 7, 11
    • Recommended exercises from Section 2.2: 1, 2, 7, 10
• Finish Handout 2 [Wednesday, 10/8]
  • For Monday 10/14:
    • Watch videos 2.3.1, 2.3.3, and2.3.4
    • Do the Preview Activities for Sections 2.3 and 2.4
• Handout 3 [Monday, 10/14]
  • Sets and quantification (Sections 2.3 and 2.4)
    • Recommended exercises from Section 2.3: 1, 2, 3, 4ab, 5ace
    • Recommended exercises from Section 2.4: 1, 2ab, 3ac, 6, 10a
• Finish Handout 3 [Wednesday, 10/16]
  • For Monday 10/21:
    • Watch videos 2.4.2, 3.3.2, and 3.3.3
    • Do the Preview activities for Sections 2.4 and 3.3
    • Recommended exercises for Section 3.1: 1, 2ad, 4, 5, 8, 11ab, 12
    • Recommended exercises for Section 3.2: 1, 3, 4, 6, 9, 15
• Handout 4 [Monday, 10/21]
  • Negation and Contradiction (Sections 2.4 and 3.3)
    • Recommended problems from Section 3.3: 4, 13b, 20
• Continue on Handout 4 [Wednesday, 10/23]
• Finish Handout 4 [Monday 10/28]
• Midterm [Wednesday 10/30]
• Handout 5 [Monday, 11/4]
  • Two big theorems (Section 3.3)
• Handout 6 [Wednesday, 11/6]
  • Set relations and set operations (Sections 5.1 and 5.1)