carrello0

Logica

Lezioni di primo livello

Autori Abrusci Vito Michele
— CEDAM — Anno 2016

Il volume presenta un corso iniziale di logica che è rivolto agli studenti universitari e a tutti coloro che desiderano leggere un’introduzione alla logica, senza particolari prerequisiti.
Questo corso di logica – frutto di una lunga esperienza didattica nei corsi di laurea di Filosofia e di Scienze della Comunicazione - è strutturato in lezioni di primo livello su:

• i principali temi della logica
• le proposizioni, le dimostrazioni, i connettivi, i quantificatori, entro la logica classica
• i principali teoremi sulla logica (in primo luogo, il teorema di incompletezza di Gödel)
• la concezione delle classi e degli insiemi, e le operazioni sugli insiemi, in logica classica
• i metodi e i risultati della logica che hanno influenzato la nascita dell’informatica (in particolare, la Macchina di Turing)
• l’assiomatizzazione e la formalizzazione della logica del primo ordine

 
ACQUISTA INSIEME
LA REDAZIONE CONSIGLIA
Attendere prego