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)