Nemokamas pristatymas nuo 29€

  • check 10 + milijonai knygų
  • check Naujienos (kiekvieną dieną)
  • check 1 + mln. klientų mus pasitiki
  • check Geros kainos % Nuolaidos
  • check Nemokamas pristatymas nuo 29 eur

Classical Recursion Theory - Piergiorgio Odifreddi

Anglų
1992-01-01
149,72 € 199,63 €

-25% su kodu BOOKS

Turime sandėlyje pas mūsų tiekėją

Pristatymas per 10-16 d.d.

30 dienų grąžinimo politika

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 Chu ... Visas aprašymas

Jums taip pat gali patikti

Aprašymas

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 Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

Daugiau informacijos

Autorius Piergiorgio Odifreddi
Leidėjas Elsevier
Išleidimo metai 1992
Viršelio tipas Minkšti viršeliai
EAN 9780444894830
Parašykite savo atsiliepimą
Jūs peržiūrėjote: Classical Recursion Theory
Jūsų įvertinimas:

Goodreads Atsiliepimai

149,72 € 199,63 €