Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
In Logic for Mathematicians, author Hamilton introduces the reader to the techniques and principle results of mathematical logic.
In Logic for Mathematicians, author Hamilton introduces the reader to the techniques and principle results of mathematical logic.
Inhaltsverzeichnis
Preface; 1. Informal statement calculus; 2. Formal statement calculus; 3. Informal predicate calculus; 4. Formal predicate calculus; 5. Mathematical systems; 6. The Gödel incompleteness theorem; 7. Computability, unsolvability, undecidability; Appendix; Hints and solutions to selected exercises; References and further reading; Glossary of symbols; Index.
Details
Erscheinungsjahr: 1989
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521368650
ISBN-10: 0521368650
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Hamilton, A. G.
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 229 x 152 x 14 mm
Von/Mit: A. G. Hamilton
Erscheinungsdatum: 01.01.1989
Gewicht: 0,393 kg
Artikel-ID: 101148763

Ähnliche Produkte

Taschenbuch