Zur Startseite gehen
0,00 €*
Cover: 9783642699672 | Computability | Klaus Weihrauch | Taschenbuch | Paperback | X | 2011
Dekorationsartikel gehören nicht zum Leistungsumfang.
Computability
Taschenbuch von Klaus Weihrauch
Sprache: Englisch

55,20 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
Intends to lay a common basis for the different branches of
recursion theory. Leads from the very basic theory to modern
concepts of computability. Consists of three consecutive
parts: 1. Basic Concepts of Computability. 2. Traditional
Recursion Theory. 3. Unified Type 2 theory of constructivity
and computability on Baire's space including a general the-
ory of representations.
Intends to lay a common basis for the different branches of
recursion theory. Leads from the very basic theory to modern
concepts of computability. Consists of three consecutive
parts: 1. Basic Concepts of Computability. 2. Traditional
Recursion Theory. 3. Unified Type 2 theory of constructivity
and computability on Baire's space including a general the-
ory of representations.
Inhaltsverzeichnis
Prerequisites and Notation.- 1: Basic Concepts of Computability.- 1.1 Flowcharts and Machines.- 1.2 Register Machines and Register Computability.- 1.3 Primitive Recursive and ?-Recursive Functions.- 1.4 WHILE-Programs and WHILE-Computability.- 1.5 Tape Machines.- 1.6 Stack Machines.- 1.7 Comparison of Number and Word Functions, Church's Thesis.- 1.8 Recursive and Recursively Enumerable Sets.- 1.9 The Standard Numbering ? of P(1).- 1.10 Some Unsolvable Problems.- 2: Type 1 Recursion Theory.- 2.1 The Basic Concepts of Computability Theory.- 2.2 Numberings.- 2.3 Recursive and Recursively Enumerable Sets (Continued).- 2.4 Many-one and One-one Reducibility.- 2.5 The Recursion Theorem.- 2.6 Creative, Productive, Complete Sets.- 2.7 Effective Numberings.- 2.8 Ordinal Trees and Computable Ordinals.- 2.9 Some Applications to Logic.- 2.10 Oracle Machines and Relativized Recursion Theory.- 2.11 Turing Reducibility and the Kleene Hierarchy.- 2.12 Computational Complexity.- 3: Type 2 Theory of Constructivity and Computability.- 3.1 Type 2 Computability Models.- 3.2 Recursion Theory on Baire's Space.- 3.3 Representations.- 3.4 Effective Representations.- 3.5 Complete Partial Orders.- 3.6 Type 1 Computability and Type 2 Computability.- 3.7 Solving Domain Equations.- 3.8 Applications to Analysis.- Index of Notations.
Details
Erscheinungsjahr: 2011
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 532
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
Inhalt: x
517 S.
ISBN-13: 9783642699672
ISBN-10: 3642699677
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Weihrauch, Klaus
Auflage: Softcover reprint of the original 1st ed. 1987
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Monographs in Theoretical Computer Science. An EATCS Series
Maße: 244 x 170 x 29 mm
Von/Mit: Klaus Weihrauch
Erscheinungsdatum: 23.11.2011
Gewicht: 0,907 kg
preigu-id: 106332101
Inhaltsverzeichnis
Prerequisites and Notation.- 1: Basic Concepts of Computability.- 1.1 Flowcharts and Machines.- 1.2 Register Machines and Register Computability.- 1.3 Primitive Recursive and ?-Recursive Functions.- 1.4 WHILE-Programs and WHILE-Computability.- 1.5 Tape Machines.- 1.6 Stack Machines.- 1.7 Comparison of Number and Word Functions, Church's Thesis.- 1.8 Recursive and Recursively Enumerable Sets.- 1.9 The Standard Numbering ? of P(1).- 1.10 Some Unsolvable Problems.- 2: Type 1 Recursion Theory.- 2.1 The Basic Concepts of Computability Theory.- 2.2 Numberings.- 2.3 Recursive and Recursively Enumerable Sets (Continued).- 2.4 Many-one and One-one Reducibility.- 2.5 The Recursion Theorem.- 2.6 Creative, Productive, Complete Sets.- 2.7 Effective Numberings.- 2.8 Ordinal Trees and Computable Ordinals.- 2.9 Some Applications to Logic.- 2.10 Oracle Machines and Relativized Recursion Theory.- 2.11 Turing Reducibility and the Kleene Hierarchy.- 2.12 Computational Complexity.- 3: Type 2 Theory of Constructivity and Computability.- 3.1 Type 2 Computability Models.- 3.2 Recursion Theory on Baire's Space.- 3.3 Representations.- 3.4 Effective Representations.- 3.5 Complete Partial Orders.- 3.6 Type 1 Computability and Type 2 Computability.- 3.7 Solving Domain Equations.- 3.8 Applications to Analysis.- Index of Notations.
Details
Erscheinungsjahr: 2011
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 532
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
Inhalt: x
517 S.
ISBN-13: 9783642699672
ISBN-10: 3642699677
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Weihrauch, Klaus
Auflage: Softcover reprint of the original 1st ed. 1987
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Monographs in Theoretical Computer Science. An EATCS Series
Maße: 244 x 170 x 29 mm
Von/Mit: Klaus Weihrauch
Erscheinungsdatum: 23.11.2011
Gewicht: 0,907 kg
preigu-id: 106332101
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780393314717 | Engines of the Mind | Joel N. Shurkin | Taschenbuch | Paperback | 1996
Engines of the Mind
The Evolution of the Computer from the Mainframes to Microprocessors
EAN: 9780393314717
Sprache: Englisch
Von/Mit: Joel N. Shurkin

23,75 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780521299152 | The Foundations of Analysis | K. G. Binmore (u. a.) | Taschenbuch
The Foundations of Analysis
A Straightforward Introduction: Book 1 Logic, Sets and Numbers
EAN: 9780521299152
Sprache: Englisch
Von/Mit: K. G. Binmore (u. a.)

53,95 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9780387975573 | A Course on Integral Equations | Allen C. Pipkin | Buch | xiv | 1991
A Course on Integral Equations
EAN: 9780387975573
Sprache: Englisch
Von/Mit: Allen C. Pipkin

83,95 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9780387909202 | Problem Book for First Year Calculus | George W. Bluman | Buch | XV
Problem Book for First Year Calculus
EAN: 9780387909202
Sprache: Englisch
Von/Mit: George W. Bluman

95,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783540403449 | Primality Testing in Polynomial Time | Martin Dietzfelbinger | Buch
Primality Testing in Polynomial Time
From Randomized Algorithms to "PRIMES Is in P"
EAN: 9783540403449
Von/Mit: Martin Dietzfelbinger

55,20 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783319307572 | Rational Points on Elliptic Curves | John T. Tate (u. a.) | Buch
Rational Points on Elliptic Curves
EAN: 9783319307572
Sprache: Englisch
Von/Mit: John T. Tate (u. a.)

51,45 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783319315553 | Topics in Banach Space Theory | Nigel J. Kalton (u. a.) | Buch | 2016
Topics in Banach Space Theory
EAN: 9783319315553
Sprache: Englisch
Von/Mit: Nigel J. Kalton (u. a.)

79,85 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9783110049770 | Praktische Mathematik | Horst Schirmeier (u. a.) | Buch | 314 S.
Praktische Mathematik
EAN: 9783110049770
Sprache: Deutsch
Von/Mit: Horst Schirmeier (u. a.)

109,95 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9783486226973 | Optimierung mit genetischen und selektiven Algorithmen | Kinnebrock
Optimierung mit genetischen und selektiven Algorithmen
EAN: 9783486226973
Von/Mit: Werner Kinnebrock

109,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783030103385 | Guide to Graph Algorithms | Sequential, Parallel and Distributed
Guide to Graph Algorithms
Sequential, Parallel and Distributed
EAN: 9783030103385
Von/Mit: K. Erciyes

48,95 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783030238759 | Mixture Models and Applications | Wentao Fan (u. a.) | Buch | XII
Mixture Models and Applications
EAN: 9783030238759
Sprache: Englisch
Von/Mit: Wentao Fan (u. a.)

95,95 €*

Lieferzeit 2-3 Wochen

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