Zur Startseite gehen
0,00 €*
Cover: 9780521708777 | The Mathematics of Logic | Richard W. Kaye | Taschenbuch | Paperback
Dekorationsartikel gehören nicht zum Leistungsumfang.
The Mathematics of Logic
Taschenbuch von Richard W. Kaye
Sprache: Englisch

64,45 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.
Über den Autor
Richard Kaye is a senior lecturer in pure mathematics at the University of Birmingham.
Zusammenfassung
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum and no background in formal set-theory is required.
Inhaltsverzeichnis
Preface; How to read this book; 1. König's lemma; 2. Posets and maximal elements; 3. Formal systems; 4. Deductions in posets; 5. Boolean algebras; 6. Propositional logic; 7. Valuations; 8. Filters and ideals; 9. First-order logic; 10. Completeness and compactness; 11. Model theory; 12. Nonstandard analysis; Bibliography; Index.
Details
Medium: Taschenbuch
Seiten: 218
ISBN-13: 9780521708777
ISBN-10: 052170877X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Kaye, Richard W.
Hersteller: Cambridge University Press
Maße: 229 x 152 x 12 mm
Von/Mit: Richard W. Kaye
Erscheinungsdatum: 24.08.2018
Gewicht: 0,323 kg
preigu-id: 101959149
Über den Autor
Richard Kaye is a senior lecturer in pure mathematics at the University of Birmingham.
Zusammenfassung
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum and no background in formal set-theory is required.
Inhaltsverzeichnis
Preface; How to read this book; 1. König's lemma; 2. Posets and maximal elements; 3. Formal systems; 4. Deductions in posets; 5. Boolean algebras; 6. Propositional logic; 7. Valuations; 8. Filters and ideals; 9. First-order logic; 10. Completeness and compactness; 11. Model theory; 12. Nonstandard analysis; Bibliography; Index.
Details
Medium: Taschenbuch
Seiten: 218
ISBN-13: 9780521708777
ISBN-10: 052170877X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Kaye, Richard W.
Hersteller: Cambridge University Press
Maße: 229 x 152 x 12 mm
Von/Mit: Richard W. Kaye
Erscheinungsdatum: 24.08.2018
Gewicht: 0,323 kg
preigu-id: 101959149
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783540522362 | Logical Number Theory I | An Introduction | Craig Smorynski | Buch | X
Logical Number Theory I
An Introduction
EAN: 9783540522362
Von/Mit: Craig Smorynski

70,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783540046196 | Etale Homotopy | Barry Mazur (u. a.) | Taschenbuch | Paperback | iv
Etale Homotopy
EAN: 9783540046196
Sprache: Englisch
Von/Mit: Barry Mazur (u. a.)

28,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780817643539 | The History of Approximation Theory | From Euler to Bernstein | Buch
The History of Approximation Theory
From Euler to Bernstein
EAN: 9780817643539
Sprache: Englisch
Von/Mit: Karl-Georg Steffens

51,45 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780471329367 | Chance Encounters | A First Course in Data Analysis and Inference | XX
Chance Encounters
A First Course in Data Analysis and Inference
EAN: 9780471329367
Sprache: Englisch
Von/Mit: C J Wild (u. a.)

338,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783540129585 | Metamathematische Methoden in der Geometrie | W. Schwabhäuser (u. a.)
Metamathematische Methoden in der Geometrie
EAN: 9783540129585
Sprache: Deutsch
Von/Mit: W. Schwabhäuser (u. a.)

59,99 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780857295316 | Rational Number Theory in the 20th Century | From PNT to FLT | Buch
Rational Number Theory in the 20th Century
From PNT to FLT
EAN: 9780857295316
Sprache: Englisch
Von/Mit: W¿adys¿aw Narkiewicz

128,95 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9781493978854 | Motivic Integration | Antoine Chambert-Loir (u. a.) | Buch | XX | 2018
Motivic Integration
EAN: 9781493978854
Sprache: Englisch
Von/Mit: Antoine Chambert-Loir (u. a.)

146,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9789811092985 | Linear Functional Analysis for Scientists and Engineers | Limaye | xiv
Linear Functional Analysis for Scientists and Engineers
EAN: 9789811092985
Sprache: Englisch
Von/Mit: Balmohan V. Limaye

11,70 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781071607985 | What Is Random? | Chance and Order in Mathematics and Life | Beltrami
What Is Random?
Chance and Order in Mathematics and Life
EAN: 9781071607985
Sprache: Englisch
Von/Mit: Edward Beltrami

39,30 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783751986571 | Das wahrhafte Unendliche und die Unendlichkeit der Mathematik | Buch
Das wahrhafte Unendliche und die Unendlichkeit der Mathematik
Die Entsprechungen zwischen Hegels Bestimmung des wahrhaften Unendlichen in der »Wissenschaft der Logik« und seiner...
EAN: 9783751986571
Sprache: Deutsch
Von/Mit: Henri Beaufort

19,99 €*

Lieferzeit 2-3 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...