MTH307 - Intro to Math. Rigor

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 Sets 1.2 Cartesian Products	First week of classes
02/01	1.3 Subsets 1.4 Power Sets 1.5 Union, Intersection and Difference 1.6 Complements
02/08	1.7 Venn Diagrams 1.8 Indexed Sets 1.9 Sets which are Number Systems
02/15	2.1 Statements 2.2 And, Or, Not 2.3 Conditional Statements 2.4 Biconditional Statements
02/22	2.5 Truth Tables for Statements 2.6 Logical equivalence 2.7 Quantifiers 2.8 More on Conditional Statements 2.9 Translating English to Symbolic Logic
02/29	2.10 Negating Statements 2.11 Logical Inference 4.1 Theorems 4.2 Definitions
03/07	4.3 Direct Proof 4.4 Using Cases 4.5 Treating Similar Cases	Midterm I in class: 03/10/16
03/14	5.1 Contrapositive Proof 5.2 Congruence of Integers
03/21	Spring Break	Have a good one!
03/28	6.1 Proof by Contradiction 6.2 Proving Conditional Statements by Contradiction
04/04	7.1 Proving Biconditional Statements 7.3 Existence and Uniqueness Proofs 7.4 Constructive v Non-Constructive Proofs 8.1 How to Prove a∈A 8.2 How to Prove A⊆B 8.3 How to Prove A=B
04/11	9 Disproof 10 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