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.

  Introduction to Proofs

• • Started on September 3, 2026

  Introduction to Logic

• • Started on September 8, 2026

  Introduction to Latex

• • Started on September 10, 2026

  Exploring Python

• • Started on September 15, 2026

  Assumptions in proofs

• • Started on September 17, 2026

  Recursion to Induction

• • Started on September 22, 2026

  Mathematical Induction Practice

• • Started on September 24, 2026

  Artificial Examples and Sets

• • Started on September 29, 2026

  Proofs by Contradiction and Induction

• • Started on October 1, 2026

  A Plethora of Definitions

• • Started on October 6, 2026

  Set Practice

• • Started on October 8, 2026

  Graph Problems

• • Started on October 15, 2026

  Minimum Spanning Trees

• • Started on November 3, 2026

  Shortest Paths

• • Started on November 5, 2026

  More Dijkstra

• • Started on November 10, 2026

  Counting Practice

• • Started on November 17, 2026

  More Counting

• • Started on November 19, 2026

  Case Study- Derangements

• • Started on November 24, 2026

  Recurrences

• • Started on December 1, 2026