Lecture
-
08 Nov 2021 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
Introduzione al corso. Elementi di storia della logica.
22 Nov 2021 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
Patterns argomentativi: deduzione, induzione, analogia, abduzione.
29 Nov 2021 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
I connettivi. Logica proposizionale classica e nozione di conseguenza logica.
06 Dic 2021 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
La nozione di sistema deduttivo. Presentazione della deduzione naturale e del calcolo dei sequenti per la logica proposizionale classica.
13 Dic 2021 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
Calcolo dei sequenti per la logica proposizionale classica. Invertibilità delle regole. Correttezza e completezza. Algoritmo per l'eliminazione del taglio. Post-completezza.
17 Gen 2022 (3h 00m)
Mario Piazza - Corso (attività didattica) - In presenza
La logica sillogistica.
24 Gen 2022 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
La logica del primo ordine. Parte I. Formalizzazione e identità.
31 Gen 2022 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
La logica del primo ordine. Parte II. Sintassi e nozioni semantiche. Forma normale premessa e skolemizzazione.
14 Feb 2022 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
Logiche non classiche. Parte I. Logica modale e logica intuizionista.
21 Feb 2022 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
Logiche non classiche. Parte II. Logiche sottostrutturali.
28 Feb 2022 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
Macchine di Turing e tesi di Church-Turing.
12 Mar 2022 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
Il test di Turing.
16 Mar 2022 (3h 00m)
Mario Piazza - Corso (attività didattica) - Mista
Logica, ragionamento, evoluzione.
30 Maggio 2022 (2h 00m)
Mario Piazza - Corso (attività didattica) - In presenza
Esercitazione
Vai alla Ricerca avanzata