Klaus Weihrauch: Computability | Taschenbuch

Cover: 9783642699672 | Computability | Klaus Weihrauch | Taschenbuch | x | Englisch | 2011

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

52,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

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

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.

Erscheinungsjahr:	2011
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	x 517 S.
ISBN-13:	9783642699672
ISBN-10:	3642699677
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Weihrauch, Klaus
Auflage:	Softcover reprint of the original 1st edition 1987
Hersteller:	Springer Berlin Springer Berlin Heidelberg
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	244 x 170 x 29 mm
Von/Mit:	Klaus Weihrauch
Erscheinungsdatum:	23.11.2011
Gewicht:	0,907 kg

Ähnliche Produkte