INFORMATICA TEORICA
| A.A. | CFU |
|---|---|
| 2007/2008 | 5 |
| Docente | Ricevimento studenti | |
|---|---|---|
| Vincenzo Fano | Dopo le lezioni. |
Assegnato al Corso di Studio
| Giorno | Orario | Aula |
|---|
Obiettivi Formativi
Comprendere la rilevanza filosofica di alcuni concetti dell’informatica.
Programma
Definizione di macchina di Turing. L’infinito in Cantor. Il teorema di Gödel. Il teorema di Turing. Il gioco dell’imitazione.
Modalità Didattiche, Obblighi, Testi di Studio e Modalità di Accertamento
- Modalità didattiche
Lezioni frontali più un seminario di 10 ore tenuto dal Prof. Alberto Gualandi su “Che cosa i computer non possono fare”.
- Testi di studio
Per i frequentanti la bibliografia verrà stabilita a lezione.
- Modalità di
accertamento Esame orale.
- Disabilità e DSA
Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.
A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.
Informazioni Aggiuntive per Studenti Non Frequentanti
- Testi di studio
Per i non frequentanti: T. Numerico, Alan Turing e l’intelligenza artificiale, Franco Angeli, Milano, 2005.
| « torna indietro | Ultimo aggiornamento: 28/07/2007 |
