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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerAnbieter: moluna, Greven, Deutschland
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Mach. Bestandsnummer des Verkäufers 5068426
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Intends to lay a common basis for the different branches ofrecursion theory. Leads from the very basic theory to modernconcepts of computability. Consists of three consecutiveparts: 1. Basic Concepts of Computability. 2. TraditionalRecursion Theory. 3. Unified Type 2 theory of constructivityand computability on Baire's space including a general the-ory of representations. Bestandsnummer des Verkäufers 9783642699672
Anzahl: 1 verfügbar
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch. Bestandsnummer des Verkäufers 9783642699672
Anzahl: 1 verfügbar
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Intends to lay a common basis for the different branches ofrecursion theory. Leads from the very basic theory to modernconcepts of computability. Consists of three consecutiveparts: 1. Basic Concepts of Computability. 2. TraditionalRecursion Theory. 3. Unified Type 2 theory of constructivityand computability on Baire's space including a general the-ory of representations. 532 pp. Englisch. Bestandsnummer des Verkäufers 9783642699672
Anzahl: 2 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Bestandsnummer des Verkäufers ria9783642699672_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783642699672
Anzahl: 10 verfügbar
Anbieter: Best Price, Torrance, CA, USA
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783642699672
Anzahl: 1 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 532. Bestandsnummer des Verkäufers 1858589721
Anzahl: 4 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 532. Bestandsnummer des Verkäufers 2658589715
Anzahl: 4 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. Print on Demand pp. 532 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 50970060
Anzahl: 4 verfügbar