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.