Obiettivi formativi
1. – Conoscenza e capacità di comprensio-ne di argomenti tec¬ni¬ci.
2. Conoscenza e capacità di comprensione delle metodologie formali.
3. 4. 5. Giustificazione, mediante Logica del primo ordine, della correttezza di ragio-na¬menti informali
Prerequisiti
Logica 1.
Contenuti dell'insegnamento
Sintassi (di tipo naturale) per il calcolo dei pre-dicati del primo ordine. Interpretazioni intuitive e formalizzazioni.
Programma esteso
- - -
Bibliografia
E. J. Lemmon, Elementi di Logica, La Terza 1975.
Metodi didattici
lezioni orali.
Modalità verifica apprendimento
Prova finale.
Altre informazioni
- - -
Obiettivi agenda 2030 per lo sviluppo sostenibile
- - -