Propositional Logic Slides [PPT] [PDF]

Truth Table Animation

Knights and Knaves Puzzles

Sultan Al-Mohammedi's Slides

Logical Equivalences Animation

Logical Equivalences Slides [PPT] [PDF]

Predicate Logic & Quantifiers Slides [PPT] [PDF]

Nested Quantifiers

Rules of Inference Slides [PPT] [PDF]

Rules of Inference

Proofs Techniques

Proofs Techniques Slides [PPT] [PDF]

Methods and Strategies

Methods and Strategies Slides [PPT] [PDF]

Sets and Set Operations

Sets and Set Operations Slides [PPT] [PDF]

Functions

Sequences and Summations

Mathematical Induction

Basic Counting Techniques:

• The Product Rule

• The Sum Rule

• The Principle of Inclusion-Exclusion

The Pigeonhole Principle

Permutations and Combinations

The Binomial Coefficients                          

Discrete Probability

Recurrence Relations

Solving Linear Homogeneous Recursions

Graph Terminology

Graph representations and Isomorphism

Connectivity

Euler and Hamilton Paths and Circuits

Planar Graphs

Graph Coloring

Introduction to Trees