Chapter 1

Propositional Logic Slides

Knights and Knaves Puzzles

Logical Equivalences Slides

Logical Equivalences Examples (PDF)

Predicate Logic & Quantifiers Slides

Quantifiers Examples (PDF)

Nested Quantifiers Slides

Nested Quantifiers Examples (PDF)

Rules of Inference Slides

Rules of Inference (PDF)

Introduction to Proofs Slides

Introduction to Proofs (PDF)

More to Proofs Slides

More to Proofs (PDF)

Important: Handout on Proofs (PDF)

Chapter 5

Induction - Part 1 Slides

Induction - Part 1 (PDF)

Induction - Part 2 Slides

Induction - Part 2 (PDF)

Chapter 6

Counting - Part 1: Product and Sum Rules Slides

Counting - Part 1 (PDF)

Counting - Part 2: Permutations and Combinations Slides

Counting - Part 2 (PDF)

Counting - Part 3: Combinations with Repetition Slides

Counting - Part 3 (PDF)

Counting - Part 4: Pigeonhole Principle Slides

Counting - Part 4 (PDF)

Counting - Part 5: Binomial Theorem, Inclusion-Exclusion Slides

Counting - Part 5 (PDF)

Chapter 7

Probability - Part 1 Slides

Probability - Part 1 (PDF)

Probability - Part 2 Slides

Probability - Part 2 (PDF)

Probability - Part 3 Slides

Probability - Part 3 (PDF)

Chapter 8

Recurrence - Part 1 Slides

Recurrence - Part 1 (PDF)

Recurrence - Part 2 Slides

Recurrence - Part 2 (PDF)

Generating Functions Slides

Generating Functions(PDF)

Chapter 10

Graph Basics

Instant Insanity Puzzle

Graph Representations and Isomorphism

Graph Representations and Isomorphism (PDF)