Billede af bogens forside - Turing Computability

Turing Computability

Theory and Applications

af Robert I. Soare

Bog, Paperback, Engelsk, 2018

Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents classical computability theory from Turing and Post to current results and methods, and their use in studying the information content of algebraic structures, models, and their relation to Peano arithmetic.

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9783662568583
  • Udgivet7/06/2018
  • Udgivet afSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Længde263 sider
  • ForfatterRobert I. Soare
  • GenreBusiness og læring, Computer og IT