ANNO ACCADEMICO 2013/2014
|
AVVISI
Fai clic qui per effettuare modifiche.
INFORMAZIONI
Libri di testo consigliati:
e inoltre: - Ettore Casari, Computabilità e ricorsività, Quaderni della Scuola Superiore di Idrocarburi dell'ENI (1959). - Yuri Matiyasevich, Hilbert's 10th Problem, MIT Press (1993) - Martin Davis, Hilbert's Tenth Problem is Unsolvable The American Mathematical Monthly, Vol. 80, No. 3 (Mar., 1973), pp. 233-269 Altro materiale utile: • Il libro SICP e le relative videolezioni di Abelson e Sussman - Sito del Corso MOOC (Massive open online course) "Programmation récursive" . Le lezioni normalmente si terranno: martedi, mercoledi e giovedì dalle ore 14.30 alle ore 16.30 in aula 3. |