59,60 €
UVP 69,54 €
Versandkostenfrei per Post / DHL
Lieferzeit 2-4 Werktage
- 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.
- 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.
More and more students need a basic understanding of logic for computing courses, and prepositional and predicate calculus is central to the field of mathematical logic. This introductory text assumes no prior knowledge of logic and concentrates on the core material that is vital for further study. It is specifically designed for independent study and features a wealth of examples and exercises, many with full teaching solutions.
| Erscheinungsjahr: | 2005 |
|---|---|
| Fachbereich: | Analysis |
| Genre: | Importe, Mathematik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
viii
315 S. |
| ISBN-13: | 9781852339210 |
| ISBN-10: | 1852339217 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Goldrei, Derek |
| Hersteller: |
Springer London
Springer-Verlag London Ltd. |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 246 x 189 x 18 mm |
| Von/Mit: | Derek Goldrei |
| Erscheinungsdatum: | 08.09.2005 |
| Gewicht: | 0,629 kg |
Ähnliche Produkte
Lieferzeit 2-4 Werktage
Lieferzeit 1-2 Werktage
Lieferzeit 2-4 Werktage
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Wochen