ISTITUZIONI DI LOGICA
Settore: M-FIL/02 | Codice: 338MM | Crediti: 6 | Semestre: 2 |
Docenti: Venturi Giorgio |
Obiettivi di apprendimento
ConoscenzeL'obiettivo del corso è di apprendere gli elementi principali di logica formale: proposizionale e al prim'ordine.
Modalità di verifica delle conoscenzeUna prova scritta a metà corso e un esame orale alla fine del corso.
CapacitàAlla fine del corso lo studente avrà una conoscenza di base della logica.
Modalità di verifica delle capacitàUna prova scritta a metà corso e un esame orale alla fine del corso.
ComportamentiAlla fine del corso lo studente saprà discutere e capire problemi e testi che riguardano la logica.
Modalità di verifica dei comportamentiUna prova scritta a metà corso e un esame orale alla fine del corso.
Prerequisiti
Nessuno
Indicazioni metodologiche
Lezioni frontali.
Programma
Il corso introdurrà i principali temi di logica, proposizionale e al prim'ordine. Definitione dei connettivi, tavole di verità, definizione induttiva delle formule, definitione di struttura al prim'ordine, calcolo logico alla Hilbert e tableaux semantici.
Bibliografia
Note del corso e alcuni testi di riferimento.
A mathematical introduction to logic, Enderton, Academic Press, 2001.
An introduction to non-classical logic, Priest, Cambridge University Press, 2012.
Non frequentanti
Contattare il docente
Modalità di esame
Una prova scritta a metà corso e un esame orale alla fine del corso.
Fonte: ESSETRE e Portale esami