Lectures for CS 581