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

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2002/2003 non sono ancora disponibili