Computability in Combinatory Spaces

Idioma: inglés

Editorial: Springer, Springer Okt 2012, 2012

9401051658 / 9789401051651

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000

Vendedor de 5 estrellas

Vendedor de IberLibro desde 23 de enero de 2017

Tapa blanda

Condición: Nuevo

EUR 53,49

Envío por EUR 60,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

This item is printed on demand - Print on Demand Titel. Neuware -I. Computational Structures and Computability on them.- 1. Computational structures.- 2. Computability of partial functions with respect to a given computational structure.- 3. On a procedure for generating the unary partial recursive functions.- 4. On the interconnection between programmability in a FP - system and - computability.- 5. Computability of multiple-valued functions with respect to a given computational structure.- 6. The recursively enumerable binary relations considered as multiple-valued functions.- 7. On the notions of prime and search computability.- 8. Computability in the case of unproductive termination taken into account.- II. Combinatory Spaces.- 1. The notion of combinatory space.- 2. The companion operative space of a combinatory space.- 3. Iteration in combinatory spaces.- 4. On least fixed points in partially ordered sets.- 5. The companion operative space of an iterative combinatory space.- 6. Left-homogeneous mappings and least fixed points connected with them.- 7. Some formal systems for the theory of iterative combinatory spaces.- III. Computability in Iterative Combinatory Spaces.- 1. Explicit and fixed-point definability in partially ordered algebras.- 2. Computable elements and mappings in iterative combinatory spaces.- 3. Representation of the partial recursive functions in iterative combinatory spaces.- 4. The First Recursion Theorem for iterative combinatory spaces.- 5. Application of the First Recursion Theorem to some concrete iterative combinatory space.- 6. Normal Form Theorems for computable elements and mappings in iterative combinatory spaces.- 7. Universal computable elements in iterative combinatory spaces.- 8. A notion of search computability in iterative combinatory spaces.- 9. On the formalization of the proof of theFirst Recursion Theorem.- References.- Additional Bibliography.- Index of Names.- Index of Definitions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 340 pp. Englisch. …

N° de ref. del artículo 9789401051651

Título
Computability in Combinatory Spaces
Autor
Dimiter G. Skordev
Editorial
Springer, Springer Okt 2012
Año de publicación
2012
Estado
Neu
Encuadernación
Taschenbuch
Idioma
inglés
ISBN 10
9401051658
ISBN 13
9789401051651
Peso del artículo
545 gramos
Dimensiones
240x160x19 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 23 de enero de 2017

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 60 a 60 días hábilesDe 60 a 60 días hábiles
Primer artículoEUR 60,00EUR 75,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • PayPal

Descripción de la tienda

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Especialidad

Modernes Antiquariat - Bücher von 1960 bis heute

Información empresarial del vendedor

buchversandmimpf2000

Alemania