ISBN 10: 1852339217 / ISBN 13: 9781852339210
Gebraucht / Anzahl: 0
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Exemplar nicht mehr verfügbar. Wir haben Ihnen weitere Exemplare dieses Titels unten aufgelistet.

Beschreibung:

Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: Introduction.- Propositions and Truth Assignments.- Formal Propositional Calculus.- Predicates and Models.- Formal Predicate Calculus.- Some Uses of Compactness.- Bibliography. Buchnummer des Verkäufers

Über diesen Titel:

Bewertung (bereitgestellt von Goodreads):
4,75 durchschnittlich
(4 Bewertungen)

Inhaltsangabe:

Designed specifically for guided independent study.

Features a wealth of worked examples and exercises, many with full teaching solutions, that encourage active participation in the development of the material.

It focuses on core material and provides a solid foundation for further study.

Klappentext:

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;

- formal proof;

- 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 by students, 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. In addition there are a number of exercises without answers so that students studying under the guidance of a tutor may be assessed on the basis of what has been taught.

Some experience of axiom-based mathematics is required but no previous experience of logic. Propositional and Predicate Calculus gives students the basis for further study of mathematical logic and the use of formal languages in other subjects.

Derek Goldrei is Senior Lecturer and Staff Tutor at the Open University and part-time Lecturer in Mathematics at Mansfield College, Oxford, UK.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Zustand: New

Beste Suchergebnisse bei AbeBooks

1.

Derek Goldrei
Verlag: Springer London Ltd 2005-08-03, England (2005)
ISBN 10: 1852339217 ISBN 13: 9781852339210
Neu paperback Anzahl: > 20
Anbieter
Blackwell's
(Oxford, OX, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer London Ltd 2005-08-03, England, 2005. paperback. Buchzustand: New. Buchnummer des Verkäufers 9781852339210

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 16,12
Währung umrechnen

In den Warenkorb

Versand: EUR 5,15
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

2.

Derek Goldrei
Verlag: Springer London Ltd, United Kingdom (2005)
ISBN 10: 1852339217 ISBN 13: 9781852339210
Neu Paperback Anzahl: 10
Anbieter
Book Depository hard to find
(London, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer London Ltd, United Kingdom, 2005. Paperback. Buchzustand: New. 2005.. 236 x 193 mm. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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; formal proof; 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 by students, 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. In addition there are a number of exercises without answers so that students studying under the guidance of a tutor may be assessed on the basis of what has been taught. Some experience of axiom-based mathematics is required but no previous experience of logic. Propositional and Predicate Calculus gives students the basis for further study of mathematical logic and the use of formal languages in other subjects. Derek Goldrei is Senior Lecturer and Staff Tutor at the Open University and part-time Lecturer in Mathematics at Mansfield College, Oxford, UK. Buchnummer des Verkäufers LIE9781852339210

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 42,02
Währung umrechnen

In den Warenkorb

Versand: Gratis
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

3.

Derek Goldrei
Verlag: Springer 2005-08-03 (2005)
ISBN 10: 1852339217 ISBN 13: 9781852339210
Gebraucht Paperback Erstausgabe Anzahl: 1
Anbieter
Lost Books
(AUSTIN, TX, USA)
Bewertung
[?]

Buchbeschreibung Springer 2005-08-03, 2005. Paperback. Buchzustand: good. 1st Edition.. 1852339217. Buchnummer des Verkäufers 489938

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 39,01
Währung umrechnen

In den Warenkorb

Versand: EUR 3,57
Innerhalb USA
Versandziele, Kosten & Dauer

4.

Derek Goldrei
Verlag: Springer (2005)
ISBN 10: 1852339217 ISBN 13: 9781852339210
Neu Softcover Anzahl: 15
Print-on-Demand
Anbieter
European-Media-Service Mannheim
(Mannheim, Deutschland)
Bewertung
[?]

Buchbeschreibung Springer, 2005. Buchzustand: New. This item is printed on demand for shipment within 3 working days. Buchnummer des Verkäufers LP9781852339210

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 42,76
Währung umrechnen

In den Warenkorb

Versand: EUR 4,49
Von Deutschland nach USA
Versandziele, Kosten & Dauer

5.

Derek Goldrei
Verlag: Springer London Ltd (2005)
ISBN 10: 1852339217 ISBN 13: 9781852339210
Neu Anzahl: > 20
Print-on-Demand
Anbieter
Books2Anywhere
(Fairford, GLOS, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer London Ltd, 2005. PAP. Buchzustand: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Buchnummer des Verkäufers LQ-9781852339210

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 40,73
Währung umrechnen

In den Warenkorb

Versand: EUR 10,31
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

6.

DEREK GOLDREI
Verlag: Springer (2005)
ISBN 10: 1852339217 ISBN 13: 9781852339210
Neu Paperback Anzahl: 1
Anbieter
Herb Tandree Philosophy Books
(Stroud, GLOS, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer, 2005. Paperback. Buchzustand: NEW. 9781852339210 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Buchnummer des Verkäufers HTANDREE0311860

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 42,47
Währung umrechnen

In den Warenkorb

Versand: EUR 9,16
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

7.

Derek Goldrei
Verlag: Springer London Ltd, United Kingdom (2005)
ISBN 10: 1852339217 ISBN 13: 9781852339210
Neu Paperback Anzahl: 10
Print-on-Demand
Anbieter
The Book Depository
(London, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer London Ltd, United Kingdom, 2005. Paperback. Buchzustand: New. 2005.. 236 x 193 mm. Language: English Brand New Book ***** Print on Demand *****.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; formal proof; 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 by students, 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. In addition there are a number of exercises without answers so that students studying under the guidance of a tutor may be assessed on the basis of what has been taught. Some experience of axiom-based mathematics is required but no previous experience of logic. Propositional and Predicate Calculus gives students the basis for further study of mathematical logic and the use of formal languages in other subjects. Derek Goldrei is Senior Lecturer and Staff Tutor at the Open University and part-time Lecturer in Mathematics at Mansfield College, Oxford, UK. Buchnummer des Verkäufers AAV9781852339210

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 46,83
Währung umrechnen

In den Warenkorb

Versand: Gratis
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

8.

Goldrei D.
ISBN 10: 1852339217 ISBN 13: 9781852339210
Neu Softcover Anzahl: 1
Anbieter
bookscollection
(Delhi, DELHI, Indien)
Bewertung
[?]

Buchbeschreibung Buchzustand: Brand New. U.S.Edition ,Brand New,PAPERBACK,Perfect Condition. Printed in English. excellent Quality, and customer satisfaction guaranteed.NO CD ROM & NO ACCESS We Do not Ship APO FPO AND PO BOX. Buchnummer des Verkäufers ABEKHST093

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 42,01
Währung umrechnen

In den Warenkorb

Versand: EUR 4,00
Von Indien nach USA
Versandziele, Kosten & Dauer

9.

Derek Goldrei
Verlag: Springer London Ltd, United Kingdom (2005)
ISBN 10: 1852339217 ISBN 13: 9781852339210
Neu Paperback Anzahl: 10
Print-on-Demand
Anbieter
The Book Depository US
(London, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer London Ltd, United Kingdom, 2005. Paperback. Buchzustand: New. 2005.. 236 x 193 mm. Language: English . Brand New Book ***** Print on Demand *****. 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; formal proof; 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 by students, 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. In addition there are a number of exercises without answers so that students studying under the guidance of a tutor may be assessed on the basis of what has been taught. Some experience of axiom-based mathematics is required but no previous experience of logic. Propositional and Predicate Calculus gives students the basis for further study of mathematical logic and the use of formal languages in other subjects. Derek Goldrei is Senior Lecturer and Staff Tutor at the Open University and part-time Lecturer in Mathematics at Mansfield College, Oxford, UK. Buchnummer des Verkäufers AAV9781852339210

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 47,49
Währung umrechnen

In den Warenkorb

Versand: Gratis
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

10.

Goldrei, Derek
Verlag: Springer (2016)
ISBN 10: 1852339217 ISBN 13: 9781852339210
Neu Paperback Anzahl: 1
Print-on-Demand
Anbieter
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung
[?]

Buchbeschreibung Springer, 2016. Paperback. Buchzustand: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Buchnummer des Verkäufers ria9781852339210_lsuk

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 46,76
Währung umrechnen

In den Warenkorb

Versand: EUR 4,43
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Es gibt 17 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen