University of Rhode Island MTH307: Introduction to Mathematical Rigor
Fall 2016

Schedule

Here is a course timetable showing exactly where we are in class. I will attempt to update it at least weekly, to give you an idea of the reading you need to do to prepare for class.

Week beginningSectionNotes
09/05Introductions
Admin
What is Mathematics?
First day of class.
09/121.1 Introduction to Sets
1.2 Cartesian Products
1.3 Subsets
09/191.4 Power Sets
1.5 Union, Intersection and Difference
1.6 Complements
1.7 Venn Diagrams
Quiz 1 and Homework 1 due on 09/22
09/261.8 Indexed Sets
1.9 Sets which are Number Systems
2.1 Statements
2.2 And, Or, Not
Quiz 2 and Homework 2 due on 09/29
10/032.3 Conditional Statements
2.4 Biconditional Statements
2.5 Truth Tables
2.6 Logical Equivalence
Quiz 3 and Homework 3 due on 10/06
10/102.7 Quantifiers
2.8 More on Conditional Statements
2.9 Translating English to Symbolic Logic
2.10 Negating Statements
Quiz 4 and Homework 4 due on 10/13
10/174. Direct ProofQuiz 5 and Homework 5 due on 10/20
10/245. Contrapositive proof
Midterm I
Midterm I on 10/25
10/316. Proof by ContradictionQuiz 6 and Homework 6 due on 11/03
11/077. Proving Non-conditional Statements
8. Proofs Involving Sets
Quiz 7 and Homework 7 due on 11/10
11/148. Proofs Involving Sets
9. Disproof
Quiz 8 and Homework 8 due on 11/17
11/21Midterm IINo class on 11/24 (Thanksgiving), Midterm II on 11/22/16
11/2810. Mathematical Induction
11.0 Relations
11.1 Properties of Relations
11.2 Equivalence Relations
11.3 Equivalence Classes and Partitions
Quiz 9 and Homework 9 due on 12/01/16
12/0511.4 Integers modulo n
12.1 Functions
12.2 Injective and Surjective Functions
12.4 Composition (briefly)
12.5 Inverses
13.1 Sets with Equal Cardinalities
13.2 Countable and Uncountable Sets
13.3 Comparing Cardinalities
Quiz 10 and Homework due on 12/08/16