Libro Logica. Lezioni di primo livello - editore: CEDAM - anno: 2018
EAN:
9788813366087
Libro Logica. Lezioni di primo livello - editore: CEDAM - anno: 2018
EAN:
9788813366087
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.
Informazioni tecniche
Info | ||
---|---|---|
Temi trattati | Logica matematica,Logica matematica | |
Editore | CEDAM | |
Fornitore | CEDAM | |
Nr edizione | 4 | |
Di (autore) | Vito Michele Abrusci |
22,91 €
18,78 € IVA esclusa
Costo spedizione 6,90€
(Spedizione GRATIS da € 69,90)
Spedizione gratuita in 24 ore in tutta Italia e su tutti i prodotti
Oraizen.
Puoi pagare i tuoi ordini tramite
Dettagli
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.
gr
Specifiche
Informazioni tecniche
Info | ||
---|---|---|
Temi trattati | Logica matematica,Logica matematica | |
Editore | CEDAM | |
Fornitore | CEDAM | |
Nr edizione | 4 | |
Di (autore) | Vito Michele Abrusci |
Ultimi prodotti visitati