Calendario_lezioni_Logica 2015-16

Calendario delle lezioni del corso di
Matematica Discreta: Logica 2015-2016
LEZIONE del 6/10/2015
Argomentazioni, mondi possibili, formule ben formate, tavole di verità.
LEZIONE 13/10/2015
Definizione di interpretazione. Valutazione delle formule mediante le tavole di verità.
Formule soddisfacibili, insoddisfacibili e tautologie.
LEZIONE 20/10/2015
Esempi di formule Soddisfacibili, valide e insoddisfacibili.
Teorema: P è una tautologia se e solo se NOT P è insoddisfacibile.
Soddisfacibilità di un insieme di formule. Esempi.
LEZIONE 27/10/2015
Conseguenza logica: Esempi
Teorema: P è conseguenza logica di Gamma sse Gamma U {NOT P} è insoddisfacibile.
Esempi.
LEZIONE 3/11/2015
Esercitazione su soddisfacibilità e conseguenza logica
ESONERO 13/11/2015
Esonero su Soddisfacibilità e Conseguenza Logica nel Calcolo Proposizionale
LEZIONE 17/11/2015
Teorema di deduzione. Esempi.
Equivalenza Semantica: Esempi di equivalenze (leggi di De Morgan, distribitività, associatività,
commutatività, ecc.).
Forma normale disgiuntiva. Definizione ed esempi.
LEZIONE 24/11/2015
Forma Normale Disgiuntiva e Forma Normale Congiuntiva. Trasformazione di una formula in
Forma Normale Congiuntiva e in Forma Normale Disgiuntiva.
LEZIONE 1/12/2015
Algoritmo per costruire una formula in Forma Normale Disgiuntiva (o Congiuntiva) data una
funzione di verità.
Introduzione alla Deduzione Naturale.
LEZIONE 15/12/2015
Deduzione Naturale: regiole per l'introduzione ed eliminazione della disgiunzione, della
negazione e Reductio ad Absurdum.
LEZIONE 22/12/2015
Il calcolo dei predicati: termini, formule atomiche, quantificatori esistenziali e universali. La
nozione di Interpretazione nel calcolo dei predicati.
LEZIONE 12/01/2016
Esempi ed esercizi sul calcolo dei predicati.
LEZIONE 19/01/2016
Esercitazione sul calcolo dei predicati.