Logica Matematica: materiale didattico

Il materiale messo a disposizione in questa pagina è di supporto al corso di Logica Matematica. Si ricorda che il corso di Logica Matematica (5 CFU) coincide con la prima parte del corso di Logica (6 CFU).

Testi di riferimento e consultazione:

• il testo di riferimento è: "Andrea Asperti, Agata Ciabattoni, Logica a Informatica, Mc Graw-Hill, 1997".
• per l'approfondimento della parte di linguaggi logici, il testo di riferimento è: "Ulf Nilsson, Jan Maluszynski, Logic, Programming and Prolog (2ed.), John Wiley & Sons, 1995" (capitolo 3).
• per l'approfondimento della parte di logica fuzzy, il testo di riferimento è: "Jan Jantzen, Tutorial On Fuzzy Logic, 2004".

Lucidi e materiale presentati a lezione:

Lucidi:
Note: