- Quantifiers
- Negating Propositions with Quantifiers
- Defining Set Operators
- Defining Sets
- Operations on Sets
- Building Sets
- Sets in Python!
- Test 1 will be in class on Wednesday, 5 February. The Preparation Guide for Test 1 (and comments posted in discord) should help you prepare and be confident you will do well on the test.
- Studenting
- Proof Methods
- Practice Problems
- Test 1 will be in class on Wednesday, 5 February. The Preparation Guide for Test 1 should help you prepare and be confident you will do well on the test.
- Preparing for Test 1
- Proof by Contradiction Practice
- Least Positive Rational
- Continuing Irrational Numbers
- Defining divides and prime
- Euclid’s Lemma
- Finishing the proof of the Odd-Not-Even Lemma
- Irrational Numbers
- Proof that the square root of 2 is irrational
Class 13: Snow Day!
Class 12: Quantifiers and Sets
Schedule
Class
10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]
Class 11: Comprehending Sets
Schedule
Class
10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]
Class 10: Test 1
Test 1 was in class on Wednesday, 5 February.
Class 9: Review
Schedule
Class
10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]
Class 8: Concluding Contradictions
Schedule
Class
10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]
Preparing for Test 1
Test 1 will be in class on Wednesday, 5 February. This will use the normal class time, so you will have 50 minutes to complete the test.
This preparation guide has advice on how to prepare for the test, and problems to practice to ensure you can do the things we’ll expect you to be able to demonstrate on the test:
Class 7: Contradicting Euclid
Schedule
Class
10am Section: [Slides (PDF)] [Video
2pm Section: [Slides (PDF)] [Video]
Class 6: Continuing Contradictions
Schedule
Class
10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]