These links are NOT intended to serve as a
substitute for attending lectures. The information provided here
is incomplete and insufficient, by itself, for learning the material
in this course.
Please read the following
paper by Donald Macnaughton which explains
in a lay-back language most of the concepts we will introduce in class.
There are a number of excellent examples in this paper, which would
aid you in understanding the material as presented in class and discussion.