INFORMATICA TEORICA
| A.A. | CFU |
|---|---|
| 2009/2010 | 5 |
| 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
L'obbiettivo sarà quello di fornire allo studente 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
1. La logica: nozioni generali
2. Il Linguaggio Proposizionale
3. Connettivi Logici e Tavole di Verità
4. Dal Linguaggio Proposizionale a quello Predicativo
5. La Deduzione Naturale ed il Calcolo dei Sequenti
6. La Semantica Logica
7. Questioni di metalogica
8. Algoritmi e Macchine Calcolatrici Automatiche
9. I teoremi di incompletezza di Kurt Gödel
Attività di Supporto
Seminari organizzati dal Dipartimento di Filosofia, 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
M. L. Dalla Chiara, R. Giuntini, F. Paoli "Sperimantare la logica", Liguori Editore, 2004.
M. Davis "Il Calcolatore Universale", Adelphi Edizioni, 2003
- Modalità di
accertamento L'esame sarà orale e durante questo si chiederà allo studente di risolvere diversi esercizi scritti.
- 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
- Modalità didattiche
Studio dei testi e svolgimento degli esercizi. Il docente è disponibile per chiarimenti nelle ore di ricevimento o su appuntamento. Per chi non frequenta si richiedono capacità di lavoro autonomo, un'attenta applicazione nello svolgimento degli esercizi, e attitudine al ragionamento formale.
- Testi di studio
M. L. Dalla Chiara, R. Giuntini, F. Paoli "Sperimantare la logica", Liguori Editore, 2004.
M. Davis "Il Calcolatore Universale", Adelphi Edizioni, 2003
Hodges "Turing", Phoenix, London, 1997 ripubblicato dalla casa editrice Routledge, New York, 1999 (traduzione italiana A. Hodges "Turing", Sansoni, 1998).
Note
Mutuato da quello di M-FIL/02 Logica da 5 cfu
| « torna indietro | Ultimo aggiornamento: 02/10/2009 |
