CS 641 Lecture -*- Outline -*- meeting 1 * state-transformers * variables * reasoning