**Instructor: ** Stacy Patterson

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

**Office Hours:** Thursday 12:00pm - 2:00pm (or by appointment) in Lally 301

Md.Ridwan Al Iqbal

**Email:** iqbalm AT rpi.edu

**Office hours:** Monday 12:00pm - 2:00pm in Amos Eaton 217

Ashwin Bahulkar

**Email:** ashwinbahulkar at gmail.com

** Office hours:** Friday 2:00pm - 4:00pm in Amos Eaton 217

Lingxun Hu

**Email:** hul5 AT rpi.edu

**Office hours:** Friday 9:00am - 11:00am in Amos Eaton 217

Jai Wadhwani

**Email:** wadhwj@rpi.edu

**Office hours:** Monday 3:00pm - 5:00pm in Amos Eaton 217

**Course Information:**

**Exam Resources**

- Exam 1 Solutions for Spring 2014
- Practice questions for Exam 1
- Logical equivalences and rules of inference - will be attached to Exam 1
- Exam 1 Solutions for Spring 2015
- Exam 2 Solutions for Spring 2014
- Practice questions for Exam 2
- Summation Formulae - will be provided on Exam 2
- Exam 2 Solutions for Spring 2015
- Writing mathematical symbols in word by Joseph Dean McDaniel
- Getting started with LaTeX
- ShareLaTeX - a online LaTeX editor
- .tex homework template by Justin Etzine
- List of mathematical symbols in LaTeX
- LaTeX Table Generator
- lshort – A short introduction to LaTeX 2e
- gliffy
- Finite State Machine Designer - by Evan Wallace
- JFLAP

**Useful Links:**

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