Foundations of Computing (2002/2003)

Course Not running, not visible

Lesson timetable

Reference books
Author Title Publisher Year ISBN Note
P. Odifreddi Classical recursion theory Elsevier North-Holland 1989
N. Jones Computability and Complexity MIT Press 1997
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman Introduction to Automata Theory, Languages and Computation (Edizione 2) Addison-Wesley 2000 0201441241
S. C. Kleene Introduction to metamathematics (Edizione 13) North Holland 2000
H. Rogers Theory of recursive functions and effective computability MIT Press 1988

Teaching aids