Logica II
People
Course director
Assistant
Description
Il corso è volto a presentare allo studente i principali risultati della formalizzazione contemporanea della logica matematica, introducendolo all’uso della notazione formale, del calcolo proposizionale e del calcolo dei predicati classici. Precisamente, il corso prevede lo studio della: (1) sintassi della logica proposizionale. Metodo delle tavole di verità. Teoria della derivazione per i connettivi logici; (2) sintassi della logica dei predicati del primo ordine. Semantica (metodo delle interpretazioni, soddisfacibilità, verità). Teoria della derivazione per i quantificatori.
Objectives
Obiettivo principale del corso è l'introduzione al ragionamento logico formale, specificamente fornendo una introduzione ai sistemi classici di logica proposizionale e del primo ordine.
Teaching mode
In presence
Learning methods
Lezioni frontali, esercitazioni.
Examination information
Esame scritto finale.
Education
- Bachelor of Arts in Filosofia, Lecture, 1st year
