CS 541 Lecture -*- Outline -*- for axiomatic semantics lecture 1 * fundamentals lecture 2 * euclid