Obiettivi formativi
Insegnare a formulare delle argomentazioni logiche e razionali.
Prerequisiti
- - -
Contenuti dell'insegnamento
<br />La Logica proposzionale: sistema formale; teoremi di deduzione,<br />di validità e di completezza.
Programma esteso
- - -
Bibliografia
J.W. Robbin, "Mathematical Logic, a first course" Benjamin Inc.1969.
Metodi didattici
Lezione frontale ed esecizi.
Modalità verifica apprendimento
- - -
Altre informazioni
- - -
Obiettivi agenda 2030 per lo sviluppo sostenibile
- - -