Cantitate/Preț
Produs

Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability: NATO Asi Series. Series C, Mathematical and Physical Science, cartea 55

Autor Dimitur Genchev Skordev
en Limba Engleză Hardback – 29 feb 1992
This volume provides an account of the current state of the theory of combinatory spaces and discusses various applications. Here the term `combinatory space' can be regarded as a system for functional programming, and bears no close connection with combinatory logic. The main text is divided into three chapters. Chapter 1 deals with computational structures and computability; Chapter 2 considers combinatory spaces; and Chapter 3 embraces computability in iterative combinatory spaces. A number of appendices treat a survey of examples of combinatory spaces. All sections of the various chapters contain exercices togethers with hints for solution where appropriate. For the reading of some parts of the book a knowledge of mathematical logic and recursive function theory would be desirable. For researchers and specialists in mathematical logic and its applications and theoretical computer scientists.
Citește tot Restrânge

Din seria NATO Asi Series. Series C, Mathematical and Physical Science

Preț: 68182 lei

Preț vechi: 80214 lei
-15% Nou

Puncte Express: 1023

Preț estimativ în valută:
13049 13764$ 10905£

Carte tipărită la comandă

Livrare economică 31 decembrie 24 - 14 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780792315766
ISBN-10: 0792315766
Pagini: 336
Dimensiuni: 160 x 240 mm
Greutate: 0.74 kg
Editura: Springer Verlag
Seria NATO Asi Series. Series C, Mathematical and Physical Science

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

Preface. I. Computational Structures and Computability on Them. II. Combinatory Spaces. III. Computability in Iterative Combinatory Spaces. Appendix: A Survey of Examples of Combinatory Spaces. References. Additional Bibliography. Index of Names. Index of Definitions.