Logica. Lezioni Di Primo Livello

Logica. Lezioni Di Primo Livello

Autore : Vito Michele Abrusci
Genere : Libri, Scienze, tecnologia e medicina, Matematica,
Leggere : 2496
Scarica : 2080
Dimensioni del File : 13.82 MB
Formato : PDF, ePub

Prendi Questo Libro

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 è 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.

Dizionario Di Russo

Dizionario Di Russo

Autore :
Genere : Libri, Lingua, linguistica e scrittura, Dizionari e vocabolari,
Leggere : 1482
Scarica : 1235
Dimensioni del File : 8.21 MB
Rivista Di Politica (2018)

Rivista Di Politica (2018)

Autore :
Genere : Libri, Politica, Scienze politiche,
Leggere : 2028
Scarica : 1690
Dimensioni del File : 11.23 MB