Computability theory: an introduction

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Jones, Neil D.
Format: Electronic eBook
Language:Inglés
Published: New York, Academic Press, 1973.
Series:ACM monograph series.
Subjects:
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
Online Access:Texto completo
Table of Contents:
  • 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.

Similar Items