Foundations of Computing (2002/2003)-Dep.Computer Science-University of Verona

Follow on

Course code

4S00005

Name of lecturer

Roberto Giacobazzi

Coordinator

Roberto Giacobazzi

Number of ECTS credits allocated

6

Other available courses

Language of instruction

Italian

Location

VERONA

Period

Web page

http://profs.sci.univr.it/~giaco/fondamenti3.html

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