Math 2510 Spring 2010
Tentative Calendar
| January |
| Sunday |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Saturday |
| | | | | 1 | 2 |
| 3 | 4 | 5 | 6 | 7 | 8 | 9 |
| 10 | 1.1, 1.2, & 1.3
Truth Tables | 1.4, 1.5, & 1.6
Intro. to Proof System L | More Proofs in L | 14 | 1.7 - 1.11
Soundness and Completeness | 16 |
| 17 | No Class | 2.1-2.5
Predicates, Quantifiers, Free Variables and Models | More Models | 21 | Proof System K | 23 |
| 24 | Removing Quantifiers | Adding There Exists | Proofs in K | 28 | Finish Chapter 2:
More Proofs in K | 30 |
| 31 | | | | | | |
| February |
| Sunday |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Saturday |
| 3.1-3.3
Formal Number Theory | 3.3 & 3.4
Induction | More Induction | 4 | SNOW DAY | 6 |
| 7 | 3.5
Proof by Contradiction | More informal proofs | SNOW DAY | 11 | Finish Chapter3 | 13 |
| 14 | 4.1
Sequences | 4.2 & 4.3
Bounded / Convergence Proofs | SNOW DAY | 18 | Some Theorems about Convergence | 20 |
| 21 | Review for Test #1 | Test #1 | Intro. to Sets | 25 | Subsets, Set Equality, Power Sets | 27 |
| 28 | | | | | | |
| March |
| Sunday |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Saturday |
| Cartesian Products, Unions, Intersections | Functions, 1-1, Onto, Cantor's Theorem | Images/Preimages of Sets and Schroder-Bernstein | 4 | Finish Set Theory | 6 |
| 7 | No Class | No Class | No Class | 11 | No Class | 13 |
| 14 | More images and preimages | Relations & Mod n | Partitions | 18 | Factoring Functions and Topological Nonsense | 20 |
| 21 | Continuity: Analysis Style | Continuity: Metric Space Style
& How Squares are Circles | Continuity: Topologically | 25 | More basic topology | 27 |
| 28 | Connectedness | Intermediate Value Theorem | Review for Test #2 | | | |
| April |
| Sunday |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Saturday |
| | | | 1 | Test #2 | 3 |
| 4 | No Class | No Class | Compact Spaces (not Cars) | 8 | [a,b] is compact in R | 10 |
| 11 | Extreme Value Theorem | Homotopy | Groups | 15 | The Fundamental Group | 17 |
| 18 | Isomorphism | More on Fundamental Groups | Intro. to Knots | 22 | Reidemeister Moves & Knot Invariants | 24 |
| 25 | The Braid Group | More Knots | Reading Day | 29 | 30 | |
| May |
| Sunday |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Saturday |
| | | | | | 1 |
| 2 | Final Exam
(3pm-5:30pm) | 4 | 5 | 6 | 7 | 8 |
| 9 | 10 | 11 | 12 | 13 | 14 | 15 |
| 16 | 17 | 18 | 19 | 20 | 21 | 22 |
| 23 | 24 | 25 | 26 | 27 | 28 | 29 |
| 30 | 31 | | | | | |
Last Updated May 18th, 2010.
|