COMP2711H: Honors Discrete Mathematical Tools for Computer Science
Lecture Slides

Introduction

Sets

Proposional Logic

Predicate Logic

Mathematical Proofs

Binary Relations

Functions

Mathematical Induction

Combinatorics: Part I

Combinatorics: Part II

Recursions: Part I

Recursions: Part II

Complexity of Algorithms

Probability: Part I

Probability: Part II

Probability: Part III

Graphs: Part I

Graphs: Part II

Modular Arithmetic

Number Theory: Part I

Number Theory: Part II

Groups, Rings and Fields

Polynomials over Fields

Finite Fields: Part I

Finite Fields: Part II

Finite Fields: Part III

List of Symbols