LOGICA MATEMATICA
| A.A. | CFU |
|---|---|
| 2006/2007 | 6 |
| Docente | Ricevimento studentesse e studenti | |
|---|---|---|
| Alessandro Aldini | mercoledì 14:00-16:00 |
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.
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.
| « torna indietro | Ultimo aggiornamento: 20 |
