Math 4190, Spring 2019
Math 4190, Spring 2019
"Mathematics, rightly viewed, possesses not only truth, but supreme
beauty." --Bertrand Russell
Essentials
Open Textbooks
An Open Textbook is a textbook published under a Creative Commons license, and is usually freely available online. Sometimes, print copies can be purchased at production costs. In this course, we will exclusively use Open resources.
Resources
- Radiolab story on Russell's paradox and undecidable problems (36:45--50:30).
Lecture Notes
Section 1: Sets and counting.
- Lecture 1.1: Basic set theory. [YouTube (60:20) | Slides]
- Lecture 1.2: Inclusion-exclusion. [YouTube (36:42) | Slides]
- Lecture 1.3: Permutations and combinations. [YouTube (41:41) | Slides]
- Lecture 1.4: Binomial and multinomial coefficients. [YouTube (38:43) | Slides]
- Lecture 1.5: Multisets and multichoosing. [YouTube (47:04) Slides]
- Lecture 1.6: Combinatorial proofs. [YouTube (47:51) | Slides]
Section 2: Logic.
- Lecture 2.1: Propositions and logical operators. [YouTube (42:31) | Slides]
- Lecture 2.2: Tautology and contradiction. [YouTube (26:51) | Slides]
- Lecture 2.3: Equivalence and implication. [YouTube (42:59) | Slides]
- Lecture 2.4: Axiomatic systems. [YouTube (32:03) | Slides]
- Lecture 2.5: Proofs in propositional calculus. [YouTube (36:50) | Slides]
- Lecture 2.6: Proofs over a universe. [YouTube (37:45) | Slides]
- Lecture 2.7: Quantifiers. [YouTube (40:04) | Slides]
- Lecture 2.8: Set-theoretic proofs. [YouTube (47:30) | Slides]
- Lecture 2.9: Russell's paradox and the halting problem.
Slides
Section 3: Basic number theory.
- Lecture 3.1: The pigeonhole principle. [YouTube (34:41) | Slides]
- Lecture 3.2: Parity, and proving existential statements. [YouTube (27:13) |
Slides]
- Lecture 3.3: Proving universal statements. [YouTube (31:00) |
Slides]
- Lecture 3.4: Divisibility and primes. Slides
- Lecture 3.5: Rational and irrational numbers. Slides
- Lecture 3.6: Quotient, remainder, ceiling and floor. Slides
- Lecture 3.7: The Euclidean algorithm. Slides
Section 4: Relations and functions.
- Lecture 4.1: Binary relations on a set. [YouTube (41:30) |
Slides]
- Lecture 4.2: Equivalence relations and equivalence classes.
- Lecture 4.3: Partial orders.
- Lecture 4.4: Functions.
Section 5: Cyptography.
- Lecture 5.1: Symmetric cryptographic ciphers. Slides
- Lecture 5.2: Public-key cryptosystems and RSA. Slides
- Lecture 5.3: Why RSA works. Slides
- Lecture 5.4: The Diffie-Hellman key exchange.
- Lecture 5.5: Error-correcting codes.
Homework
Most of the homework will be done on WeBWork, a free online homework system. One pedagogical advantage of this is that it gives you feedback right away on whether you got the answer right or wrong.
I will post the pdf of the WeBWork assignments here. There will also be some written homework assignments for problems involving written proofs.
- Homework 1: Basic set theory. pdf
- Homework 2: Venn diagrams. pdf
- Homework 3: Counting and Permutations. pdf
- Homework 4: Combinations and multisets. pdf
- Homework 5: Propositional logic (statements). pdf
- Homework 6: Propositional logic (truth tables). pdf
- Homework 7: Propositional logic (equivalence, proofs). pdf
- Homework 8: Quantifiers. pdf
- Homework 9: Quantifiers, pigeonhole principle. pdf
- Homework 10: Relations on sets. pdf
- Homework 11: Equivalence relations. pdf
- Homework 12: Cryptography. pdf