Libro Introduzione alla logica. Linguaggio, significato, argomentazione - editore: Mondadori Education - anno: 2009
EAN: 
9788800860987

Descrizione

Il testo offre un'introduzione ai concetti fondamentali della logica. Nella prima parte, muovendo da un'analisi concreta della forma logica del discorso dichiarativo, si giunge gradualmente alla costruzione dei linguaggi logici enunciativi ed elementari. La seconda parte presenta una procedura meccanica il metodo del controesempio - con la quale si affrontano i problemi della correttezza delle inferenze e della consistenza di insiemi di enunciati, prima al livello enunciativo e poi a quello elementare. La terza parte si apre con un capitolo sulla sillogistica, cui segue un'ampia introduzione alla teoria intuitiva degli insiemi e alle classiche problematiche dell'astrazione, dell'infinito e dei paradossi. L'ultimo capitolo tratta del concetto intuitivo di procedura effettiva e della sua precisazione mediante le macchine di Turing, e si conclude con l'illustrazione del teorema d'indecidibilità della logica elementare. Il volume è corredato da una ricca selezione di esercizi.

Informazioni tecniche

21,00

17,21 € IVA esclusa

Prodotto non disponibile

Avvisami appena torna disponibile

Consegna prevista in 4 giorni (2 Ott)

Costo spedizione 6,90
(Spedizione GRATIS da € 69,00)

Spedizione gratuita in 24 ore in tutta Italia e su tutti i prodotti Oraizen. Puoi pagare i tuoi ordini tramite

Dettagli

Descrizione

Il testo offre un'introduzione ai concetti fondamentali della logica. Nella prima parte, muovendo da un'analisi concreta della forma logica del discorso dichiarativo, si giunge gradualmente alla costruzione dei linguaggi logici enunciativi ed elementari. La seconda parte presenta una procedura meccanica il metodo del controesempio - con la quale si affrontano i problemi della correttezza delle inferenze e della consistenza di insiemi di enunciati, prima al livello enunciativo e poi a quello elementare. La terza parte si apre con un capitolo sulla sillogistica, cui segue un'ampia introduzione alla teoria intuitiva degli insiemi e alle classiche problematiche dell'astrazione, dell'infinito e dei paradossi. L'ultimo capitolo tratta del concetto intuitivo di procedura effettiva e della sua precisazione mediante le macchine di Turing, e si conclude con l'illustrazione del teorema d'indecidibilità della logica elementare. Il volume è corredato da una ricca selezione di esercizi.

gr

Specifiche

Informazioni tecniche