MTH 299 | Transition to Formal Mathematics | Fall 2013 |
Course Page: http://www.math.msu.edu/~duncan42/Fall13S6.html.
The dates below are tentative. Changes will be announced in class and on our course page.
Section numbers refer to:
Lect | Date | Section: Topic
1 | 8/28 | [H2,3,4] Reading and writing mathematics; sets and functions
| R | 8/29 | Recitation
| | 9/2 | Labor Day, no class
| 2 | 9/4 | [H1] [B5] Sets and functions; examples, models, enumeration
| R | 9/5 | Recitation
| 3 | 9/9 | [H30] [B9.1,13.1] Injective, surjective, bijective functions; combinatorial enumeration & bijections
| 4 | 9/11 | [B13.2-3] Cardinality, countability, Cantor's arguments
| R | 9/12 | Recitation
| 5 | 9/16 | [H6] [H30] [B9.1,13.1] [B13.4-5] Axiomatic set theory, continuum hypothesis, logical incompleteness
| 6 | 9/18 | [H7] [B3.2] Making a statement, implications
| R | 9/19 | Recitation
| 7 | 9/23 | [H9] [B3.3] More on implicatiions, converse and equivalence | Last day to withdraw with refund 8 | 9/25 | [H10] [B3.1] Quantifiers: for all, there exists
| R | 9/26 | Recitation
| 9 | 9/30 | Negation of quantifiers, review
| 10 | 10/2 | Review
| E | 10/3 | Midterm 1
| 11 | 10/7 | Definitions, theorems, proofs; Example: divisibility of integers, infinity of primes
| 12 | 10/9 | [H15, 16] Definitions, theorems
| R | 10/10 | Recitation
| 13 | 10/14 | [H19] [H17, 18] Proof example: m,n odd ⇔ mn odd; Pythagoras' Theorem
| 14 | 10/16 | [H20] Proof by direct argument | Last day to withdraw with no grade reported R | 10/17 | Recitation
| 15 | 10/21 | [H23] Common mistakes; proof by cases; proof by contradiction,√2 irrational
| 16 | 10/23 | [H26] Proof of contrapositive
| R | 10/24 | Recitation
| 17 | 10/28 | [H27,28] Proof by induction; greatest common divisor gcd(a,b), Euclidean algorithm
| 18 | 10/30 | [H28] Euclidean algorithm, unique factorization thm
| R | 10/31 | Recitation
| 19 | 11/4 | [H29] [B6.3, App B] Modular arithmetic, equvialence classes; extra: finite fields, cryptography
| 20 | 11/6 | Review
| E | 11/7 | Midterm 2
| 21 | 11/11 | [B1.3, 8.2] Real number field; ordering of reals
| 22 | 11/13 | [B8.3-4] Upper bounds, completeness axiom
| R | 11/14 | Recitation
| 23 | 11/18 | Limits; intermediate value theorem?
| 24 | 11/20 | Sequences & series
| R | 11/21 | Recitation
| 25 | 11/25 | [B App C.1] More on Reals; complex numbers
| 26 | 11/27 | [B App C.2] Complex numbers
| 11/28 | Thanksgiving, no recitation
| 27 | 12/2 | Review
| 28 | 12/4 | Review
| R | 12/5 | Recitation
| E | 12/9 | Final exam 10:00-12:00
| |