Könyv Classical Recursion Theory Bas van der Hoek

Classical Recursion Theory

Szerző: Bas van der Hoek
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: North-Holland
Elérhetőség: Beszállítói készleten
Küldés 10-18 napon belül
35 615 Ft
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of nu...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1992
oldal
692
EAN
9780444894830
ISBN
0444894837
Enbook ID
04079758
Kiadó
Súly
968
Méretek
236 x 157 x 37

Teljes leírás

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Godel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

Érdekelheti

21 596 Ft

Nature for Sale

Giovanna Ricoveri
40 847 Ft
23 501 Ft
21 510 Ft

Frankie & Stankie

Barbara Trapido
5 102 Ft
55 614 Ft
20 672 Ft

InfoSec Handbook

Umesha Nayak
1 506 Ft

In Search of Sea Dragons

Matthew Myerscough
5 102 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Orient-Express

MAURICIO WIESENTHAL
7 478 Ft
10 661 Ft