Instructor:
J. Hartmanis, 5149 Upson Hall, 255-9208,
jh@cs.cornell.edu
Office Hours:
5149 Upson Tuesday and Thursday, 2:00 - 3:00 p.m.
Teaching Assistant:
Yuval Gabay, 218 Mallott Hall, yuval@math.cornell.edu
Office Hours:
218 Mallott Hall Monday and Wednesday, 10:00 - 11:00 a.m.
Suggested References:
Hartly Rogers, Jr., Theory of Recursive Functions and Effective Computability.
J. E. Hopcroft and J. D. Ullman, Introduction
to Automata Theory, Languages and Computation.