Mondadori Store

Trova Mondadori Store

Benvenuto
Accedi o registrati

lista preferiti

Per utilizzare la funzione prodotti desiderati devi accedere o registrarti

Vai al carrello
 prodotti nel carrello

Totale  articoli

0,00 € IVA Inclusa

Logic. A brief course
Logic. A brief course

Logic. A brief course

by Daniele Mundici
pubblicato da Springer Verlag

25,45
29,95
-15 %
29,95
Disponibilità immediata - pochi pezzi a magazzino.
51 punti carta PAYBACK
Aggiungi al carrello
Consegna gratuita con spesa totale superiore a 24€
facebook tweet linkedin google whatsapp
Aggiungi al carrello
Consegna gratuita con spesa totale superiore a 24€
facebook tweet linkedin google whatsapp

Descrizione

In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione, la procedura di Davis-Putnam, la semantica di Tarski, l'equivalenza e la conseguenza logica, i modelli di Herbrand, gli assiomi dell'eguaglianza, le forme normali di Skolem, le refutazioni come oggetti grafici, e la costruzione di alcuni modelli non-standard. I prerequisiti matematici sono minimi: il testo è accessibile a chiunque abbia già visto qualche dimostrazione per induzione. Il manuale può essere usato come sussidiario per un primo corso di Logica Matematica per matematici e per informatici. Parti del testo possono essere di appoggio in un corso di Logica per filosofi e linguisti, soprattutto per i numerosi esercizi, mai troppo difficili, di collegamento tra logica e linguaggio naturale.

Dettagli

Generi Scienza e Tecnica » Matematica » Fondamenti della matematica (logica, teoria degli insiemi, sistemi numerici...)

Editore Springer Verlag

Collana Unitext

Formato Brossura

Pubblicato 27/01/2012

Pagine 136

Lingua Inglese

Isbn o codice id 9788847023604

0 recensioni dei lettori  media voto 0  su  5

Scrivi una recensione per "Logic. A brief course"

Logic. A brief course
 

Accedi o Registrati  per aggiungere una recensione

usa questo box per dare una valutazione all'articolo: leggi le linee guida
torna su Torna in cima