ISTITUZIONI DI LOGICA

Settore: M-FIL/02Codice: 338MMCrediti: 6Semestre: 2
Docenti: Venturi Giorgio

Obiettivi di apprendimento

Conoscenze

L'obiettivo del corso è di apprendere gli elementi principali di logica formale: proposizionale e al prim'ordine.

Modalità di verifica delle conoscenze

Una 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.

Comportamenti

Alla fine del corso lo studente saprà discutere e capire problemi e testi che riguardano la logica.

Modalità di verifica dei comportamenti

Una 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