**Instructor (until Spring Break): ** Jeff Trinkle

**Email: ** trinkj AT rpi.edu

**Office Hours:** None after Spring Break

**Instructor (after Spring Break): ** Stacy Patterson

**Email: ** sep AT cs.rpi.edu

**Office Hours:** Monday 2:00pm - 3:30pm or by appointment, in Lally 301

**Course Information:**

- General Information
- Schedule and Assignments
- Gradescope - Submit your homework here!
- Supplementary textbook for Models of Computation - Introduction to the Theory of Computation, Michael Sipser

**Teaching Assistants:**

**TA:** Peter Horak

**Email:** horakp AT rpi.edu

**Office hours:** Tuesdays 6pm-7pm (AE 127)

**Office hours:** Wednesdays 5pm-7pm (AE 119a)

**TA:** Avi Weinstock

**Email:** weinsa AT rpi.edu

**Office hours:** Mondays 12pm-2pm (AE 119)

**Office hours:** Tuesdays 5pm-6pm (AE 119)

**Undergraduate Mentors:**

**Mentor:** Ryan Han

**Email:** hanz3 AT rpi.edu

**Mentor:** Samantha Lee

**Email:** lees29 AT rpi.edu

**Mentor:** Xinyue Yan

**Email:** yanx3 AT rpi.edu

**Mentor:** Kexin Zhu

**Email:** zhuk4 AT rpi.edu

**Mentor:** Yipeng Zhang

**Email:** zhangy40 AT rpi.edu

**Exam Resources**

- Logical equivalences and rules of inference - will be attached to Exam 1
- Practice questions for Exam 1
- Exam 1 Solutions for Spring 2015
- Exam 1 Solutions for Spring 2014
- Exam 2 Solutions for Spring 2015
- Exam 2 Solutions for Spring 2014
- Practice questions for Exam 2
- Selected Solutions for Exam 2 - Spring 2017
- Review Problems for Final Exam
- Solutions to selected final exam review problems

**Useful Links:**

- Writing mathematical symbols in word by Joseph Dean McDaniel
- Getting started with LaTeX
- ShareLaTeX - a online LaTeX editor
- List of mathematical symbols in LaTeX
- LaTeX Table Generator
- lshort – A short introduction to LaTeX 2e

**Resources for generating state machine diagrams - use at your own risk.**

- gliffy
- Finite State Machine Designer - by Evan Wallace
- JFLAP