CS 453 - Lecture Notes