eBook.de : Ihr Online Shop für eBooks, Reader, Downloads und Bücher
+49 (0)40 4223 6096

First Course in Mathematical Logic

Sofort lieferbar (Download)
eBook epub

Dieses eBook können Sie auf allen Geräten lesen, die epub- und DRM-fähig sind. z.B. auf den tolino oder Sony Readern - nicht auf dem Kindle.

Häufig gestellte Fragen zu epub eBooks und Adobe DRM-Kopierschutz

eBook epub € 14,99* inkl. MwSt.
Machen Sie jemandem eine Freude und
verschenken Sie einen Download!
Ganz einfach Downloads verschenken - so funktioniert's:
  1. 1 Geben Sie die Adresse der Person ein, die Sie beschenken
    möchten. Mit einer lieben Grußbotschaft verleihen Sie Ihrem
    Geschenk eine persönliche Note.
  2. 2 Bezahlen Sie das Geschenk bequem per Kreditkarte,
    Überweisung oder Lastschrift.
  3. 3 Der/die Geschenkempfänger/in bekommt von uns Ihre Nachricht
    und eine Anleitung zum Downloaden Ihres Geschenks!

Produktdetails

Titel: First Course in Mathematical Logic
Autor/en: Patrick Suppes, Shirley Hill

EAN: 9780486150949
Format:  EPUB
Sprache: Englisch.
Familiy Sharing: Nein
Dover Publications

30. April 2012 - epub eBook - 288 Seiten

  • Empfehlen

In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It comprises the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of commutative groups. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. Their clear and coherent style of writing ensures that this work may be used by students in a wide range of ages and abilities.
1. Symbolizing Sentences
1.1 Sentences
1.2 Sentential Connectives
1.3 The Form of Molecular Sentences
1.4 Symbolizing Sentences
1.5 The Sentential Connectives and Their Symbols--Or; Not; If . . . then . . .
1.6 Grouping and Parentheses. The Negation of a Molecular Sentence
1.7 Elimination of Some Parentheses
1.8 Summary
2. Logical Inference
2.1 Introduction
2.2 Rules of Inference and Proof
Modus Ponendo Ponens
Proofs
Two-Step Proofs
Double Negation
Modus Tollendo Tollens
More on Negation
Adjunction and Simplification
Disjunctions as Premises
Modus Tollendo Ponens
2.3 Sentential Derivation
2.4 More About Parentheses
2.5 Further Rules of Inference
Law of Addition
Law of Hypothetica Syllogism
Law of Disjunctive Syllogism
Law of Disjunctive Simplification
Commutative Laws
De Morgan's Laws
2.6 Biconditional Sentences
2.7 Summary of Rules of Inference. Table of Rules of Inference
3. Truth and Validity
3.1 Introduction
3.2 Truth Value and Truth-Functional Connectives
Conjunction
Negation
Disjunction
Conditional Sentences
Equivalence: Biconditional Sentences
3.3 Diagrams of Truth Value
3.4 Invalid Conclusions
3.5 Conditional Proof
3.6 Consistency
3.7 Indirect Proof
3.8Summary
4. Truth Tables
4.1 Truth Tables
4.2 Tautologies
4.3 Tautological Implication and Tautological Equivalence
4.4 Summary
5. Terms, Predicates, and Universal Quantifiers
5.1 Introduction
5.2 Terms
5.3 Predicates
5.4 Common Nouns as Predicates
5.5 Atomic Formulas and Variables
5.6 Universal Quantifiers
5.7 Two Standard Forms
6. Universal Specification and Laws of Identity
6.1 One Quantifier
6.2 Two or More Quantifiers
6.3 Logic of Identity
6.4 Truths of Logic
7. A Simple Mathematical System: Axioms for Addition
7.1 Commutative Axiom
7.2 Associative Axiom
7.3 Axiom for Zero
7.4 Axiom for Negative Numbers
8. Universal Generalization
8.1 Theorems with Variables
8.2 Theorems with Universal Quantifiers
Index

Patrick Suppes and Shirley Hill

Dieses eBook wird im epub-Format geliefert und ist mit einem Adobe DRM-Kopierschutz versehen. Sie können dieses eBook auf vielen gängigen Endgeräten lesen.

Sie können dieses eBook auf vielen gängigen Endgeräten lesen.

Für welche Geräte?
Sie können das eBook auf allen Lesegeräten, in Apps und in Lesesoftware öffnen, die epub und Adobe DRM unterstützen:

  • tolino Reader
    Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie das eBook auf Ihr tolino Gerät mit einer kostenlosen Software wie beispielsweise Adobe Digital Editions.

  • Sony Reader und andere eBook Reader
    Laden Sie das eBook am PC/Laptop aus dem eBook.de-Shop herunter und übertragen Sie es anschließend per USB-Kabel auf einen eBook-Reader mit epub- und Adobe DRM-Unterstützung.

  • Tablets und Smartphones
    Installieren Sie die tolino Lese-App für Android und iOS oder verwenden Sie eine andere Lese-App für epub-eBooks mit Adobe DRM.

  • PC und Mac
    Lesen Sie das eBook direkt im Browser mit dem tolino webreader, der in Ihrem eBook.de-Konto verlinkt ist. Oder laden Sie die Datei herunter und öffnen Sie das eBook in der kostenlosen Lesesoftware Adobe Digital Editions.

Schalten Sie das eBook mit Ihrer persönlichen Adobe ID auf bis zu sechs Geräten gleichzeitig frei.

Bitte beachten Sie: Dieses eBook ist nicht auf Kindle-Geräten lesbar.

Ihr erstes eBook?
Hier erhalten Sie alle Informationen rund um die digitalen Bücher für Neueinsteiger.

Kundenbewertungen zu Patrick Suppes, Shi… „First Course in Mathematical Logic“
Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben
Unsere Leistungen auf einen Klick
Unser Service für Sie
Zahlungsmethoden
Bequem, einfach und sicher mit eBook.de. mehr Infos akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal mehr Infos
Geprüfte Qualität
  • Schnelle Downloads
  • Datenschutz
  • Sichere Zahlung
  • SSL-Verschlüsselung
Servicehotline
+49 (0)40 4223 6096
Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 18.00 Uhr
Chat
Ihre E-Mail-Adresse eintragen und kostenlos informiert werden:
1 Ihr Gutschein AUDIO18 gilt bis einschließlich 23.05.2022 und nur für die Kategorie Hörbuch Downloads und Hörbuch CDs. Der Gutschein kann mehrmals eingelöst werden. Sie können den Gutschein ausschließlich online einlösen unter www.eBook.de. Der Gutschein ist nicht mit anderen Gutscheinen und Geschenkkarten kombinierbar. Eine Barauszahlung ist nicht möglich. Ein Weiterverkauf und der Handel des Gutscheincodes sind nicht gestattet.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

3 Durch Öffnen der Leseprobe willigen Sie ein, dass Daten an den Anbieter der Leseprobe übermittelt werden.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier

eBook.de - Meine Bücher immer dabei
eBook.de ist eine Marke der Hugendubel Digital GmbH & Co. KG
Folgen Sie uns unter: