LOGICA MATEMATICA
A.A. | CFU |
---|---|
2009/2010 | 6 |
Docente | Ricevimento studentesse e studenti | |
---|---|---|
Cinzia Di Giusto | su appuntamento |
Assegnato al Corso di Studio
Giorno | Orario | Aula |
---|
Obiettivi Formativi
Lo scopo del Corso è di presentare i risultati fondamentali della logica matematica di particolare interesse per l'informatica, evidenziando come il calcolo proposizionale e dei predicati siano ausiliari alle altre materie.
Programma
01. Introduzione alla logica:
01.01 Cenni storici.
01.02 Teoria degli insiemi.
01.03 Relazioni.
01.04 Induzione.
02. Logica proposizionale:
02.01 Sintassi.
02.02 Semantica.
02.03 Proprietà delle formule ben formate.
02.04 Equivalenza logica.
02.05 Leggi di equivalenza.
02.06 Sistemi deduttivi.
02.07 Forme normali.
02.08 Teoria della complessità.
02.09 Soddisfacibilità.
02.10 Risoluzione.
02.11 Compattezza.
03. Logica dei predicati:
03.01 Sintassi.
03.02 Semantica.
03.03 Soddisfacibilità.
03.04 Equivalenza logica.
03.05 Forme normali.
03.06 Teoria di Herbrand.
03.07 Unificazione.
03.08 Risoluzione.
03.09 Programmazione logica.
Eventuali Propedeuticità
Nessuna
Modalità Didattiche, Obblighi, Testi di Studio e Modalità di Accertamento
- Modalità didattiche
Lezioni frontali
- Obblighi
Nessuno
- Testi di studio
A. Asperti, A. Ciabattoni, "Logica a Informatica", McGraw-Hill, 1997.
- Modalità di
accertamento Prova scritta e prova 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.
Note
Il corso è erogato sia nel "percorso in presenza" che nel "percorso online" del Corso di Laurea di Informatica Applicata.
« torna indietro | Ultimo aggiornamento: 14/07/2008 |