MTH307: Introduction to Mathematical Rigor
Spring 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 beginning Section Notes 01/25 1.1 Introduction to Sets1.2 Cartesian Products First week of classes 02/01 1.3 Subsets1.4 Power Sets1.5 Union, Intersection and Difference1.6 Complements 02/08 1.7 Venn Diagrams1.8 Indexed Sets1.9 Sets which are Number Systems 02/15 2.1 Statements2.2 And, Or, Not2.3 Conditional Statements2.4 Biconditional Statements 02/22 2.5 Truth Tables for Statements2.6 Logical equivalence2.7 Quantifiers2.8 More on Conditional Statements2.9 Translating English to Symbolic Logic 02/29 2.10 Negating Statements2.11 Logical Inference4.1 Theorems4.2 Definitions 03/07 4.3 Direct Proof4.4 Using Cases4.5 Treating Similar Cases Midterm I in class: 03/10/16 03/14 5.1 Contrapositive Proof5.2 Congruence of Integers 03/21 Spring Break Have a good one! 03/28 6.1 Proof by Contradiction6.2 Proving Conditional Statements by Contradiction 04/04 7.1 Proving Biconditional Statements7.3 Existence and Uniqueness Proofs7.4 Constructive v Non-Constructive Proofs8.1 How to Prove a∈A8.2 How to Prove A⊆B8.3 How to Prove A=B 04/11 9 Disproof10 Mathematical Induction 04/18 10 Mathematical Induction Midterm II in class: 04/19/16 04/25 11 Relations 12 Functions 13 Cardinality 13 will be touched on very briefly, and will likely not be examined