Kniha Classical Recursion Theory Bas van der Hoek

Classical Recursion Theory

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: North-Holland
Dostupnost: Skladem u dodavatele
Odesíláme za 10-18 dnů
2 218
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of nu...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1992
Stránek
692
EAN
9780444894830
ISBN
0444894837
Enbook ID
04079758
Vydavatel
Hmotnost
968
Rozměry
236 x 157 x 37

Kompletní popis

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.

Mohlo by vás zajímat

1 314

Nature for Sale

Giovanna Ricoveri
2 508
1 431
1 373

Frankie & Stankie

Barbara Trapido
305
3 465
1 311

InfoSec Handbook

Umesha Nayak
103

In Search of Sea Dragons

Matthew Myerscough
283

Zákaznicí kteří koupili tuto knihu koupili také

Orient-Express

MAURICIO WIESENTHAL
510
631