Cantitate/Preț
Produs

Recursion Theory: Lecture Notes in Logic 1

Autor Joseph R. Shoenfield
en Limba Engleză Hardback – 9 aug 2017
This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. The clarity and focus of this text have established it as a classic instrument for teaching and self-study that prepares its readers for the study of advanced monographs and the current literature on recursion theory.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 43962 lei  6-8 săpt.
  CRC Press – 20 feb 2001 43962 lei  6-8 săpt.
Hardback (2) 78271 lei  6-8 săpt.
  Cambridge University Press – mar 2017 78271 lei  6-8 săpt.
  CRC Press – 9 aug 2017 107329 lei  6-8 săpt.

Preț: 107329 lei

Preț vechi: 160139 lei
-33% Nou

Puncte Express: 1610

Preț estimativ în valută:
18991 22301$ 16670£

Carte tipărită la comandă

Livrare economică 27 ianuarie-10 februarie 26

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781138466876
ISBN-10: 1138466875
Pagini: 96
Dimensiuni: 156 x 234 mm
Greutate: 0.45 kg
Ediția:1
Editura: CRC Press
Colecția A K Peters/CRC Press

Cuprins

Computability; Functions and Relations; The Basic Machine; Macros; Closure Properties; Definitions of Recursive Functions; Codes; Indices; Church's Thesis; Word Problems; Undecidable Theories; Relative Recursion; The Arithmetical Hierarchy; Recursively Enumerable Relations; Degrees; Evaluation of Degrees; Large RE Sets; Functions of Reals; The Analytical Hierarchy; The Projective Hierarchy

Descriere

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. The clarity and focus of this text have established it as a classic instrument for teaching and self-study that prepares its readers for the study of advanced monographs and the current literature on recursion theory.

Notă biografică