|
|
|
|
|
Trasparenze della prima lezione clicca qui.
Letture divulgative:
- D. Harel. Computer a responsabilità limitata. Dove le macchine non riescono ad arrivare.
Einaudi, Torino, 2002.
- Un'introduzione semplice e chiara. L'autore è un'autorevole informatico teorico.
- D. Hofstadter. Gödel, Escher, Bach. Un'eterna ghirlanda brillante. Adelphi, Milano, 1984.
- È una trattazione semi-formale ai temi trattati nel corso, alla portata di ogni buon studente di scuola media superiore.
Vincitore del premio Pulitzer (nel 1979), il testo introduce l'esistenza di problemi irresolubili e i teoremi
di incompletezza di Gödel con costanti analogie musicali (le fughe bachiane) e artistiche (i disegni di Escher).
- A. Hodges. Storia di un enigma. Vita di Alan Turing (1912-1954). Bollati Boringhieri, Torino, 1991.
- Biografia di uno dei padri fondatori dell'informatica.
Link su Turing e von Neumann:
www.turing.org.uk
www.alanturing.net
www.rit.edu/~drk4633/vonNeumann/
ei.cs.vt.edu/~history/VonNeumann.html