Adam Blank 



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.

Getting Help

It is very important to us that you succeed in CSE 311. We provide many extra resources to help you. Adam and the TAs hold many office hours, we have a message board called , and we provide you with many practice handouts.

Office Hours

Course Staff


  • Logic
  • Boolean Algebra & Circuits
  • Proofs
  • Number Theory
  • Induction
  • More Induction
  • Regexps & CFGs
  • FSMs
  • Limits of Computation
  • Cardinality