Computability in Combinatory Spaces

Lingua: inglese

Editore: Springer, Springer Okt 2012, 2012

9401051658 / 9789401051651

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Brossura

Condizione: Nuovo

EUR 53,49

EUR 60,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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. …

Codice articolo 9789401051651

Titolo
Computability in Combinatory Spaces
Autore
Dimiter G. Skordev
Editore
Springer, Springer Okt 2012
Anno di pubblicazione
2012
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
9401051658
ISBN 13
9789401051651
Peso dell'articolo
545 grammi
Dimensioni
240x160x19 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 60,00EUR 75,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

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

Descrizione dello Store

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

Specializzazione

Modernes Antiquariat - Bücher von 1960 bis heute

Informazioni sull’azienda del venditore

buchversandmimpf2000

Germania