These discrete mathematics resources were created while I was TAing MATH 2080U and CSCI 2110U at Ontario Tech University in the Fall 2024 term. They should still be applicable to other courses at Ontario Tech University as well as to other students outside of Ontario Tech University who are studying a first course in discrete mathematics/proofs. These materials follow *Discrete Mathematics and Its Applications* by Kenneth Rosen, 8e. Those not using Rosen will still find these resources helpful.

## Problem Sets

- Propositional Logic
- Propositional Equivalence and Predicate Logic
- Introduction to Proofs
- Proof Strategies and Introduction to Sets
- Functions and Sequences
- Cardinality and Big-O
- Modular Arithmetic and Euclidean Algorithm
- Induction and Fibonnaci

## Lecturette Recordings

- Propositional Logic
- Propositional Equivalence and Predicate Logic
- Introduction to Proofs
- Proof Strategies and Introduction to Sets
- Functions and Sequences
- Cardinality and Big-O
- Modular Arithmetic and Euclidean Algorithm

## Midterm Review Videos

Here is a three-part midterm review series for discrete mathematics. It covers content from Propositional Logic to Sequences. Hopefully you find it helpful in studying for your midterm! Apologies for poor video quality due to glare in Part A. I believe Part B and C should be better.

- Part A: Propositions, Predicates, and Quantifiers
- Part B: Proofs and Strategies
- Part C: Sets, Functions and Sequences