INFORMATICA TEORICA
| A.A. | CFU |
|---|---|
| 2012/2013 | 6 |
| Docente | Ricevimento studentesse e studenti | |
|---|---|---|
| Pierluigi Graziani |
Assegnato al Corso di Studio
| Giorno | Orario | Aula |
|---|
Obiettivi Formativi
Il corso fornirà competenze nell'uso di alcune strumentazioni formali da applicare in ricerche in ambito informatico. Il corso offrirà, inoltre, un'attenta riflessione filosofica sulla natura stessa di tali strumenti 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).
Note
Gli studenti non frequentanti sono pregati di utilizzare le ore di ricevimento con il docente e di presentarsi almeno una volta al docente tre mesi prima della data in cui si intende sostenere l'esame.
| « torna indietro | Ultimo aggiornamento: 09/10/2012 |
