Back to
Zack's Home Page
Università degli studi di Bologna
Dipartimento di Scienze dell'Informazione
Logica Matematica - A.A. 2006/2007
Esercitazioni
Esercitazioni
Induzione strutturale, tavole di verità
01/03/2007
(Formato PDF)
Deduzione naturale proposizionale
22/03/2007
(Formato PDF)
Deduzione naturale proposizionale, formalizzazione al prim'ordine
03/04/2007
(Formato PDF)
Deduzione natural al prim'ordine
26/04/2007
(Formato PDF)
Skolemizzazione, unificazione, metodo di risoluzione
10/05/2007
(Formato PDF)