Proofs and Computations | Buch

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9780521517690 | Proofs and Computations | Helmut Schwichtenberg (u. a.) | Buch | 2013

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

106,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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
Seiten:	480
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,971 kg

preigu-id: 106787801

Über den Autor

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2013
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	480
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,971 kg