CS 641 Lecture -*- Outline -*- meeting 1 * foundations