Apri immagine nella presentazione, LOGICA. LEZIONI DI PRIMO LIVELLO
cedam

LOGICA. LEZIONI DI PRIMO LIVELLO

€23,00

Imposte incluse.
Autore: ABRUSCI VITO MICHELE
Editore: CEDAM
Data di pubblicazione: 30/07/2018
Descrizione:
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 è 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.