Mohlo by se vám také líbit

Více informací o knize Computability in Combinatory Spaces

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 292 bodů

Anotace knihy

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.

Parametry knihy

• Plný název: Computability in Combinatory Spaces
• Podnázev: An Algebraic Generalization of Abstract First Order Computability
• Autor: Dimiter G. Skordev
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 320
• EAN: 9780792315766
• ID: 05249907
• Nakladatelství: Springer Netherlands
• Hmotnost: 760 g
• Rozměry: 240 × 175 × 24 mm
• Rok vydání: 1992

Oblíbené z jiného soudku

---

---

---