Fondamenti dell'informatica (2002/2003)-Dip.Informatica-Università degli Studi di Verona

Segui su Facebook

Codice insegnamento

4S00005

Docente

Roberto Giacobazzi

Coordinatore

Roberto Giacobazzi

crediti

6

Altri corsi di studio in cui è offerto

Lingua di erogazione

Italiano

Sede

VERONA

Periodo

1° dal 30-set-2002 al 29-nov-2002.

Pagina Web

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

Testi di riferimento
Autore	Titolo	Casa editrice	Anno	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