University of Rhode Island MTH307: Introduction to Mathematical Rigor
Spring 2018

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 beginningTopicsNotes
09/03Welcome to MTH307First Week of Classes
09/101.1 Language and Logic
1.2 Proof
09/172.1 Direct Proof
2.2 Contrapositive and Contradiction
09/242.1-2 Other proof techniques (Existence/uniqueness, biconditional,quantifiers)
10/013.1 Weak Induction
3.2 Strong Induction
10/084.1 Language of Sets
4.2 Set Operations
10/154.2 (More) Set Operations
Midterm 1
Midterm 1 on 10/18
10/224.2 Power sets
4.3 Arbitrary unions and intersections
10/295.1 Functions
5.2 Composition of functions
11/055.3 Injections, surjections and bijectons
5.4 Inverse functions
11/127.1 RelationsNo class 11/13
11/19Midterm 2
EAT TURKEY!
Midterm 2 on 11/20.
11/267.2 Equivalence Relations
7.3 Partitions
12/038.1 Cardinality
8.2 Finite Sets
8.3 Countable sets
12/108.3 Uncountable sets
8.4 More on Cardinality