LOGICA MATEMATICA

Obiettivi formativi:

Questo insegnamento ha lo scopo 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.

Settore scientifico-disciplinare:

MAT/01.

Crediti:

6.

Modulo:

Unico.

Durata:

Semestrale (primo periodo), 48 ore (di lezione frontale).

Frequenza:

Non sono previsti obblighi di frequenza.

Docente:

Dott.ssa Cinzia Di Giusto.

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.

Testi di riferimento:

  • A. Asperti, A. Ciabattoni, "Logica a Informatica", McGraw-Hill, 1997.
    		•

    Propedeuticità:

    Nessuna.

    Modalità didattiche:

    Lezioni frontali.

    Modalità di accertamento:

    Prova scritta e prova orale (prove d'esame).

    Commissione d'esame:

    Fino a febbraio 2011: Dott.ssa Cinzia Di Giusto e Dott. Alessandro Aldini (supplente: Prof. Marco Bernardo).
    Da giugno 2011: Dott. Alessandro Aldini e Prof. Marco Bernardo (supplente: Prof. Alessandro Bogliolo).

    Note:

    La prova scritta viene valutata in trentesimi ed è ritenuta sufficiente se il relativo voto, che rimane valido solo per gli appelli della sessione in cui la prova viene sostenuta e per un'unica prova orale, è di almeno 18/30.
    La prova orale può essere sostenuta solo previo superamento della prova scritta. Se sufficiente, il relativo esito comporta un aggiustamento per eccesso o per difetto di al più 6/30 del voto della prova scritta, determinando così il voto finale.

    Ultima modifica: 10/05/2011 Approvato da: Presidente CCdL