## CSC/MTH 447 - Lecture Notes

**Note:** All the lecture notes on this page are based on the lecture notes by Ken Rosen.

Introduction & Propositional Logic

Applications of Propositional Logic

Equivalences in Propositional Logic

Propositional Logic: Rules of Inference

Predicate Logic (updated 9/17 - fixed some typos)

Predicate Logic: Rules of Inference

Introduction to Proofs

Proof Methods and Strategies

Sets

Functions

Sequences and Summations

Countable and Uncountable Sets

Mathematical Induction

Structural Induction

The Basics of Counting

The Pigeonhole Principle

Relations: Properties

Representing Relations

Equivalence Relations

Partial Ordering

Graph Theory (part 1)

Graph Theory (part 2)

Graph Theory (part 3)

Graph Theory (part 4)

Trees (part 1)

Trees (part 2)