The Mathematics of Logic und über 1 Million weitere Bücher verfügbar für Amazon Kindle . Erfahren Sie mehr


oder
Loggen Sie sich ein, um 1-Click® einzuschalten.
oder
Mit kostenloser Probeteilnahme bei Amazon Prime. Melden Sie sich während des Bestellvorgangs an. Erfahren Sie mehr
Alle Angebote
Möchten Sie verkaufen? Hier verkaufen
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
 
 
Beginnen Sie mit dem Lesen von The Mathematics of Logic auf Ihrem Kindle in weniger als einer Minute.

Sie haben keinen Kindle? Hier kaufen oder eine gratis Kindle Lese-App herunterladen.

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications [Englisch] [Taschenbuch]

Richard W. Kaye

Statt: EUR 36,40
Jetzt: EUR 32,62 kostenlose Lieferung. Siehe Details.
Sie sparen: EUR 3,78 (10%)
  Alle Preisangaben inkl. MwSt.
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Auf Lager.
Verkauf und Versand durch Amazon.de. Geschenkverpackung verfügbar.
Nur noch 10 Stück auf Lager - jetzt bestellen.
Lieferung bis Dienstag, 5. Juni: Wählen Sie an der Kasse Morning-Express. Siehe Details.

Weitere Ausgaben

Amazon-Preis Neu ab Gebraucht ab
Kindle Edition EUR 21,89  
Gebundene Ausgabe EUR 91,38  
Taschenbuch EUR 32,62  

Produktinformation


Mehr über den Autor

Richard Kaye
Entdecken Sie Bücher, lesen Sie über Autoren und mehr

Besuchen Sie die Seite von Richard Kaye auf Amazon

Produktbeschreibungen

Pressestimmen

"Kaye (pure mathematics, U. of Birmingham) gives undergraduate and first-year graduates key materials for a first course in logic, including a full mathematical account of the Completeness Theorem for first-order logic. As he builds a series of systems increasing in complexity, and proving and discussing the Completeness Theorem for each, Kaye keeps unfamiliar terminology to a minimum and provides proofs of all the required set theoretical results. He covers K<:o>nig's Lemma (including two ways of looking at mathematics), posets and maximal elements (including order), formal systems (including post systems and compatibility as bonuses), deduction in posets (including proving statements about a poset), Boolean algebras, propositional logic (including a system for proof about propositions), valuations (including semantics for propositional logic), filters and ideals (including the algebraic theory of Boolean algebras), first-order logic, completeness and compactness, model theory (including countable models) and nonstandard analysis (including infinitesimal numbers)." --Book News

Über das Produkt

Undergraduate textbook covering the key material for a typical first course in logic, including a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. The author ensures that the number of new concepts at each stage is manageable, whilst providing lively mathematical applications throughout.

In diesem Buch (Mehr dazu)
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis
Hier reinlesen und suchen:

Tags

 (Was ist das?)
Bei einem Tag handelt es sich um ein Schlagwort, das zum Produkt passt.
Tags erleichtern allen Kunden die Suche und die Sortierung ihrer Lieblingsprodukte.
 

Kundenrezensionen

Es gibt noch keine Kundenrezensionen auf Amazon.de
5 Sterne
4 Sterne
3 Sterne
2 Sterne
1 Sterne
Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)
Amazon.com:  1 Rezension
8 von 9 Kunden fanden die folgende Rezension hilfreich
"Show that any finite poset is a lattice." 18. Mai 2009
Von - Veröffentlicht auf Amazon.com
Format:Taschenbuch
First off, this book has a wider and more interesting variety of formal systems than the other logic books I have gone through. What's more, Kaye's formal systems are much easier and more intuitive. Sadly, the text is absolutely riddled with errors. Check the errata on his site and you will see two or three corrections, read the book yourself and you will find that that list is far from complete. Most of them are just minor annoyances, but some of them really cause a lot of confusion. One of the questions was so bad that even my professor could not find a way to salvage it. Also, Kaye seems at times somewhat confused about his target audience. He feels the need to define simple things such as countability, but expects the reader to have decent exposure to both algebra and topology (I know little about either). Chapter eight is pretty much incomprehensible if you're not good with algebra, fortunately that chapter is optional. I also found sections 10.4, 11.3 and 12.3 (all optional) too difficult for me to get through. Overall I would say the book has a lot of potential, but I can't recommend it to anyone in the condition it's in now, especially if you don't have a professor to help walk you through it. Does not cover incompleteness.

Kunden diskutieren

Das Forum zu diesem Produkt
Diskussion Antworten Jüngster Beitrag
Noch keine Diskussionen

Fragen stellen, Meinungen austauschen, Einblicke gewinnen
Neue Diskussion starten
Thema:
Erster Beitrag:
Eingabe des Log-ins
 


Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
Alle Amazon-Diskussionen durchsuchen
   
Ähnliche Foren


Lieblingslisten


Ähnliche Artikel finden


Anhand des Sachgebietes nach ähnlichen Produkten suchen:


Ihr Kommentar


Datenschutzerklärung von Amazon.de Versandbedingungen von Amazon.de Umtausch- & Rücknahme bei Amazon.de