Computability theory: an introduction

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Jones, Neil D.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, Academic Press, 1973.
Colección:ACM monograph series.
Temas:
Recursive functions.
Turing machines.
Computable functions.
Fonctions r�ecursives.
Machines de Turing.
Fonctions calculables.
Computable functions
Recursive functions
Turing machines
Berechenbarkeit
Computer
Theorie
Turing, Machines de.
Mathematics > Recursive functions > Computability theory
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Mathematical basis
  • Introduction to computability
  • Description of Turing machines by predicates
  • Decision of predicates by Turing machines
  • The normal form theorems and consequences
  • Other formulations of computability.

Ejemplares similares