Links Announcements Homework
Notes Solutions Grades

Com S 331
Theory of Computation
Spring 2006

Lectures: Gilman 1352, MWF 8 - 8:50.
Recitation 1: Durham 0171, T 10 - 10:50.
Recitation 2: Durham 0171, T 9 - 9:50. There is no recitation during the first week of classes.
 

Instructor:   Pavan Aduri
Office: 102 Atanasoff Hall
Email: pavan AT @cs.iastate.edu
Office Hours: M: 9:10 - 10, F: 12:10 - 1.
 
 
 
 
 
 
 

 
Teaching Assistant: Mathew Patitz
Email:mpatitz AT @cs.iastate.edu
Office: B06 Atanasoff
Office Hours: T 12:10 - 1:00, W 1:10 - 2:00

 
 
 
 
 
 

Textbook: Automata and Computability. Dexter Kozen, Springer Verlag, 1997. We will spend first couple of weeks on basic proof techniques. This is not in the text. I will provide notes for this part.

Web Page:  http://www.cs.iastate.edu/~cs331. Check the class homepage regularly for news, home works, solutions etc.

Grades:

  • Home Works: 25%
  • Quizzes: 15%
  • Mid Term Exam 1 on Feb 24 : 15%
  • Mid Term Exam 2 on : 15%
  • Final Exam : 30%
    • There are no suprise quizzes. I will announce them at least one class before.