Logica II
People
Course director
Course director
Description
Il corso di Logica II offre un’introduzione alla logica proposizionale e alla logica dei predicati con l’identità. In particolare, i temi trattati includono: (1) sintassi della logica proposizionale, (2) semantica della logica proposizionale, (3) sistemi formali per la logica proposizionale, (4) sintassi della logica dei predicati con l’identità, (5) semantica della logica dei predicati con l’identità, (6) sistemi formali per la logica dei predicati. Il corso prevede sia lezioni frontali che sessioni di esercitazioni.
Objectives
L’obiettivo del corso è completare l’introduzione alla logica classica delle proposizioni iniziata nel corso di Logica I e introdurre gli studenti alla logica dei predicati.
Teaching mode
In presence
Learning methods
-
Examination information
Esame scritto in aula.
Education
- Bachelor of Arts in Filosofia, Lecture, 1st year
