The textbook for this class is Automata and Computability, by Dexter C. Kozen.
Your grade in the course will be determined by your performance on three exams, each of which will count for 25% of your grade, plus homework, which will count for the remaining 25%. The first exam will be in class (late April), while the others will be takehome (late May and a final takehome due the last day of finals).
Please hand in your homework on paper unless specifically instructed otherwise.
Homework submitted after the due time but within 24 hours will be docked 25%. Submissions between 24 and 48 hours late will be docked 50%. After that, you're out of luck. If you know you're going to have trouble with a particular deadline, please let me know as early as possible, and we'll work something out.
You may work on homework with your classmates, but please write up your solutions individually.