Labs
Most days of class will include one or more assigned labs. You will have time to work on labs in class, but you may need to schedule additional time outside of class to finish each lab.
Please review the course syllabus for policies and grading information. If you have questions about a policy you are welcome to ask about them individually or in class.
- Math Review
-
-
- Started on January 20, 2026
-
- Introduction to Proofs
-
-
- Started on January 22, 2026
-
- Introduction to Logic
-
-
- Started on January 27, 2026
-
- Introduction to Latex
-
-
- Started on January 29, 2026
-
- Exploring Python
-
-
- Started on February 3, 2026
-
- Assumptions in proofs
-
-
- Started on February 5, 2026
-
- Recursion to Induction
-
-
- Started on February 10, 2026
-
- Mathematical Induction Practice
-
-
- Started on February 12, 2026
-
- Artificial Examples and Sets
-
-
- Started on February 17, 2026
-
- Proofs by Contradiction and Induction
-
-
- Started on February 19, 2026
-
- A Plethora of Definitions
-
-
- Started on February 24, 2026
-
- Set Practice
-
-
- Started on February 26, 2026
-
- Graph Problems
-
-
- Started on March 5, 2026
-
- Minimum Spanning Trees
-
-
- Started on March 24, 2026
-
- Shortest Paths
-
-
- Started on March 26, 2026
-
- More Dijkstra
-
-
- Started on March 31, 2026
-
- Counting Practice
-
-
- Started on April 7, 2026
-
- More Counting
-
-
- Started on April 9, 2026
-
- Case Study- Derangements
-
-
- Started on April 14, 2026
-
- Recurrences
-
-
- Started on April 16, 2026
-
- Probability Practice
-
-
- Started on April 23, 2026
-
- More Counting
-
-
- Started on April 28, 2026
-
Copyright © William Rebelsky and Peter-Michael Osera
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Materials for this course are derived from work by Charlie Curtsinger and Peter-Michael Osera.
This website was built using Jekyll, Twitter Bootstrap, and the Bootswatch Cosmo Theme.