|
Docente
|
ABRUSCI VITO MICHELE
(programma)
1. I temi della logica
2. Logica classica: proposizioni, dimostrazioni
3. Logica classica: connettivi
4. Logica classica: tipi, variabili, quantificatori
5. Logica classica del primo ordine
6. Classi e insiemi
7. Codificazione, digitalizzazione, algebra di Boole
8. Macchina di Turing
9. Assiomatizzazione e formalizzazione della logica classica del primo ordine
10. La logica e le altre discipline
(testi)
V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018
|
Università Roma Tre