Cantitate/Preț
Produs

Computability in Combinatory Spaces

Autor Dimitur Genchev Skordev
en Limba Engleză Hardback – 31 mar 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

Preț: 68210 lei

Preț vechi: 80246 lei
-15% Nou

Puncte Express: 1023

Preț estimativ în valută:
12070 14154$ 10600£

Carte tipărită la comandă

Livrare economică 07-21 februarie 26

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780792315766
ISBN-10: 0792315766
Pagini: 342
Dimensiuni: 175 x 250 x 24 mm
Greutate: 0.77 kg
Editura: Springer
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.