computability theory

English

Noun

computability theory (uncountable)

  1. (logic) Recursion theory.
  2. (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.