Zur Startseite gehen
0,00 €*
Cover: 9780521517690 | Proofs and Computations | Helmut Schwichtenberg (u. a.) | Buch | 2013
Dekorationsartikel gehören nicht zum Leistungsumfang.
Proofs and Computations
Buch von Helmut Schwichtenberg (u. a.)
Sprache: Englisch

91,80 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
This major graduate-level text provides a detailed, self-contained coverage of proof theory.
This major graduate-level text provides a detailed, self-contained coverage of proof theory.
Über den Autor
Helmut Schwichtenberg is an Emeritus Professor of Mathematics at Ludwig-Maximilians-Universität München. He has recently developed the 'proof-assistant' MINLOG, a computer-implemented logic system for proof/program development and extraction of computational content.
Inhaltsverzeichnis
Preface; Preliminaries; Part I. Basic Proof Theory and Computability: 1. Logic; 2. Recursion theory; 3. Godel's theorems; Part II. Provable Recursion in Classical Systems: 4. The provably recursive functions of arithmetic; 5. Accessible recursive functions, ID<¿ and ¿11-CA0; Part III. Constructive Logic and Complexity: 6. Computability in higher types; 7. Extracting computational content from proofs; 8. Linear two-sorted arithmetic; Bibliography; Index.
Details
Erscheinungsjahr: 2013
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521517690
ISBN-10: 0521517699
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Schwichtenberg, Helmut
Wainer, Stanley S.
Hersteller: Cambridge University Press
Maße: 240 x 161 x 33 mm
Von/Mit: Helmut Schwichtenberg (u. a.)
Erscheinungsdatum: 28.03.2013
Gewicht: 0,969 kg
Artikel-ID: 106787801
Über den Autor
Helmut Schwichtenberg is an Emeritus Professor of Mathematics at Ludwig-Maximilians-Universität München. He has recently developed the 'proof-assistant' MINLOG, a computer-implemented logic system for proof/program development and extraction of computational content.
Inhaltsverzeichnis
Preface; Preliminaries; Part I. Basic Proof Theory and Computability: 1. Logic; 2. Recursion theory; 3. Godel's theorems; Part II. Provable Recursion in Classical Systems: 4. The provably recursive functions of arithmetic; 5. Accessible recursive functions, ID<¿ and ¿11-CA0; Part III. Constructive Logic and Complexity: 6. Computability in higher types; 7. Extracting computational content from proofs; 8. Linear two-sorted arithmetic; Bibliography; Index.
Details
Erscheinungsjahr: 2013
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521517690
ISBN-10: 0521517699
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Schwichtenberg, Helmut
Wainer, Stanley S.
Hersteller: Cambridge University Press
Maße: 240 x 161 x 33 mm
Von/Mit: Helmut Schwichtenberg (u. a.)
Erscheinungsdatum: 28.03.2013
Gewicht: 0,969 kg
Artikel-ID: 106787801
Warnhinweis

Ähnliche Produkte

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