Foundations of Computing (2002/2003)

Course Not running, not visible

Lesson timetable

First four-month term (only lessons for the 1st year run from 23/9 to 27/9)
Day Time Type Place Note
Monday 8:30 AM - 10:30 AM lesson Lecture Hall A  
Thursday 2:30 PM - 4:30 PM lesson Lecture Hall A  
Friday 8:30 AM - 10:30 AM lesson Lecture Hall A  
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

Documents