Mutua da
|
20410592 LM400 - INTRODUZIONE ALLA LOGICA in Matematica L-35 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
|