libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

goldrei derek - propositional and predicate calculus: a model of argument
Zoom

Propositional and Predicate Calculus: A Model of Argument A MODEL OF ARGUMENT




Disponibilità: solo 1 copia disponibile, compra subito!

Se ordini entro 10 ore e 53 minuti, consegna garantita in 48 ore lavorative
scegliendo le spedizioni Express



PREZZO
67,70 €
NICEPRICE
64,31 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 09/2005
Edizione: 2005





Trama

At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include:

- the representation of mathematical statements by formulas in a formal language;

- the interpretation of formulas as true or false in a mathematical structure;

- logical consequence of one formula from others;

- the soundness and completeness theorems connecting logical consequence and formal proof;

- the axiomatization of some mathematical theories using a formal language;

- the compactness theorem and an introduction to model theory.

This book is designed for self-study, as well as for taught courses, using principles successfully developed by the Open University and used across the world. It includes exercises embedded within the text with full solutions to many of these. Some experience of axiom-based mathematics is required but no previous experience of logic.





Sommario

Propositions and Truth Assignments.- Formal Propositional Calculus.- Predicates and Models.- Formal Predicate Calculus.- Some Uses of Compactness.










Altre Informazioni

ISBN:

9781852339210

Condizione: Nuovo
Dimensioni: 246 x 189 mm
Formato: Brossura
Illustration Notes:VIII, 315 p.
Pagine Arabe: 315
Pagine Romane: viii


Dicono di noi





Per noi la tua privacy è importante


Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.

Impostazioni cookie
Rifiuta Tutti i cookie
Accetto tutti i cookie
X