INFORMATICA TEORICA
A.A. | CFU |
---|---|
2010/2011 | 6 |
Docente | Ricevimento studentesse e studenti | |
---|---|---|
Pierluigi Graziani | Come da calendario affisso presso il Dipartimento di Filosofia all’inizio dei semestri. |
Assegnato al Corso di Studio
Giorno | Orario | Aula |
---|
Obiettivi Formativi
Il corso fornirà competenze nell'uso di certe strumentazioni formali da applicare in ricerche in ambito informatico. Il corso offrirà anche un'attenta riflessione filosofica sulla natura stessa di tali strumentazioni formali e loro ambiti di applicazione.
Programma
Attività di Supporto
Seminari, in particolare le Lectiones Commandinianae.
Modalità Didattiche, Obblighi, Testi di Studio e Modalità di Accertamento
- Modalità didattiche
Lezioni frontali ed esercitazioni guidate.
- Testi di studio
-
- Marcello Frixione e dario Palladino "Funzioni, Macchine, Algoritmi", Carocci 2004.
- Dispense date dal professore.
- Modalità di
accertamento L'esame sarà orale e durante questo si chiederà allo studente di risolvere esercizi.
- 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 studentesse e studenti non Frequentanti
- Testi di studio
-
- Marcello Frixione e dario Palladino "Funzioni, Macchine, Algoritmi", Carocci 2004.
- Dispense date dal professore.
- A. Hodges "Turing", Phoenix, London, 1997 (ripubblicato dalla casa editrice Routledge, New York, 1999 (traduzione italiana A. Hodges "Turing", Sansoni, 1998).
« torna indietro | Ultimo aggiornamento: 03/10/2010 |