Recursion theory /

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the 1st publication in the Lecture Not...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Shoenfield, Joseph R. (Joseph Robert), 1927- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, [2016]
Colección:Lecture notes in logic ; 1.
Temas:
Recursion theory.
Computer science.
Mathematics.
Logic.
Electronic data processing.
Théorie de la récursivité.
Informatique.
Mathématiques.
computer science.
data processing.
applied mathematics.
mathematics.
MATHEMATICS > General.
Electronic data processing
Computer science
Logic
Mathematics
Recursion theory
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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
  • Function of reals
  • The analytical hierarchy
  • The projective hierarchy.

Ejemplares similares