Old Video List

This is the old set of videos made from last year, if you find them useful you may use these as well.

Week 2 Videos: Unit 1 - Part 1

1. Introduction to Propositions and Logical Connectives
2. Behaviour of Logical Connectives, Truth Tables, Logical Equivalences

Week 3 Videos: Unit 1 - Part 2

1. Predicates and Quantifiers for First-Order Logic

Week 4 Videos: Unit 1 - Part 3

1. First Example of a Proof, Premises, Conclusions
2. Rules of Our Proof System
3. Proof Strategies, and Steps in Proofs vs Statements

Week 5 Videos: Unit 2

1. Introduction to Set Theory, Set Notations, and Set Operations
2. Proving Set Equivalences and Other Proofs Involving Subsets and Power Sets

Week 6 Videos: Unit 3

1. Relations and Operations on Relations
2. Properties of Relations

Week 7 Videos: Unit 4

1. Mathematical Induction
2. Recurrences

Week 8 Videos: Unit 5

1. Big-O/Omega/Theta notation
2. Substitution Method
3. Program Correctness via Induction

Week 9 Videos: Unit 6

1. Basic Counting/Set Counting
2. Permutations and Combinations (P&C)
3. Applying P&C

Week 10 Videos: Unit 7

1. Graphs

Week 11 Videos: Unit 8

1. Probability (Part 1)

Week 12 Videos: Unit 9

1. Probability (Part 2)