CdSINFORMATICA UMANISTICA
Codice338MM
CFU6
PeriodoSecondo semestre
LinguaItaliano
| Moduli | Settore/i | Tipo | Ore | Docente/i | |
| ISTITUZIONI DI LOGICA | M-FIL/02 | LEZIONI | 36 |
|
L'obiettivo del corso è di apprendere gli elementi principali di logica formale: proposizionale e al prim'ordine.
Una prova scritta a metà corso e un esame orale alla fine del corso.
Alla fine del corso lo studente avrà una conoscenza di base della logica.
Una prova scritta a metà corso e un esame orale alla fine del corso.
Alla fine del corso lo studente saprà discutere e capire problemi e testi che riguardano la logica.
Una prova scritta a metà corso e un esame orale alla fine del corso.
Nessuno
Nessuno
Uno studio più approfondito di filosofia della matematica e di logica matematica.
Lezioni frontali.
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.
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.
Contattare il docente
Una prova scritta a metà corso e un esame orale alla fine del corso.
Non sono previsti stage o tirocini