Logica. Lezioni di primo livello
- Editore:
CEDAM
- Edizione:
- 4
- Data di Pubblicazione:
- 30 luglio 2018
- EAN:
9788813366087
- ISBN:
8813366086
- Pagine:
- 320
- Formato:
- brossura
Descrizione Logica. Lezioni di primo livello
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;
- alcune fra le principali relazioni della logica con le altre discipline.