Fondamenti dell'informatica (2002/2003)

Corso a esaurimento

Codice insegnamento
4S00005
Docente
Roberto Giacobazzi
Coordinatore
Roberto Giacobazzi
crediti
6
Altri corsi di studio in cui è offerto
Lingua di erogazione
Italiano
Periodo
dal 23-set-2002 al 29-nov-2002.
Pagina Web
http://profs.sci.univr.it/~giaco/fondamenti3.html

Orario lezioni

Giorno Ora Tipo Luogo Note
lunedì 8.30 - 10.30 lezione Aula A  
giovedì 14.30 - 16.30 lezione Aula A  
venerdì 8.30 - 10.30 lezione Aula A  
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

Materiale didattico

Documenti