Documents
The following documents set out the expectations for this course. Please be sure to read them.
Recommended Reading
- Models of Computation by Prof. John Savage
- Introduction to the Theory of Computation by Michael Sipser
- The complete Calvin and Hobbes by Bill Watterson
Software
- Finite State Machine Designer by Evan Wallace
- Arrows and Circles by Eddie Grystar, Plane Janthong, Sandy Student, and Eli Wald
- Logisim for circuit design
LaTeX
- Download LaTeX for Windows (MiKTeX)
- Download LaTeX for Macs (MacTeX)
- An awesome widget that gives LaTeX symbols based on handwriting (Detexify^2)
- A Not So Short Introduction to LaTeX2e
- LaTeX Symbols
- LaTeX Wikibook
- Essential LaTeX
- AOPS LaTeX
Just for Fun
- Robust Soldier Crab Ball Gate
- Scooping the Loop Snooper by Geoffrey Pullum, on the halting problem
- No deciding, a song of Turing Machines