computability

См. также в других словарях:

• Computability — You might be looking for Computable function, Computability theory, Computation, or Theory of computation. Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within… …   Wikipedia

• Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown …   Wikipedia

• Computability logic — Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of truth …   Wikipedia

• Computability theory (computer science) — In computer science, computability theory is the branch of the theory of computation that studies which problems are computationally solvable using different models of computation.Computability theory differs from the related discipline of… …   Wikipedia

• Computability in Europe — Association CiE logo‎ Computability in Europe (CiE) is an international organization of mathematicians, logicians, computer scientists, philosophers, theoretical physicists and others interested in new developments in computability and in their… …   Wikipedia

• computability logic — noun a formal theory of computability …   Wiktionary

• computability — noun see computable …   New Collegiate Dictionary

• computability — See compute. * * * …   Universalium

• computability — noun The property of being computable by purely mechanical means …   Wiktionary

• computability — n. ability to be calculated or counted, ability to be enumerated …   English contemporary dictionary

• computability — com·put·abil·i·ty …   English syllables