Welcome to CSE 311! You might want to start by looking at the course policies in the
. If you want more detail on tokens, you should read the
.
You could also peruse the
.
Or you could view our
.
We will have two optional textbooks this quarter
(this is the standard textbook for this course) and
(this is a "guide to proofs").
You might also find
useful.
As the
get closer we will post more information about them.