Modalità d'esame

Scritto + orale

Una volta superato lo scritto lo studente deve sostenere una prova orale: non necessariamente nella stessa data dello scritto. Il voto dello scritto rimane valido fino alla fine dell'anno accademico 2009-2010.

Prossimi appelli:

Programma del corso

1. Introduzione alla logica:
   • Cenni storici.
   • Teoria degli insiemi.
   • Relazioni.
   • Induzione.
2. Logica proposizionale:
   • Sintassi.
   • Semantica.
   • Proprietà delle formule ben formate.
   • Equivalenza logica.
   • Leggi di equivalenza.
   • Sistemi deduttivi.
   • Forme normali.
   • Teoria della complessità.
   • Soddisfacibilità.
   • Compattezza.
3. Logica dei predicati:
   • Sintassi.
   • Semantica.
   • Soddisfacibilità.
   • Equivalenza logica.
   • Forme normali.
   • Sistemi deduttivi
   • Teoria di Herbrand.
   • Unificazione.
   • Risoluzione.
   • Programmazione logica.