Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability: v. 55 (Mathematics & Its Applications: East European Series) - Tapa dura

Skordev, Dimiter G.

 
9780792315766: Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability: v. 55 (Mathematics & Its Applications: East European Series)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9789401051651: Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability: 55 (Mathematics and its Applications)

Edición Destacada

ISBN 10:  9401051658 ISBN 13:  9789401051651
Editorial: Springer, 2012
Tapa blanda