teoría de la computabilidad
Sign in to saveAlso known as recursion theory
estudio sobre las funciones computables
In the Vinony graph
Vinony's link graph records 741 inbound references to teoría de la computabilidad, and connects out to recursively enumerable set, Gödel's incompleteness theorems and arithmetical hierarchy.
It is catalogued under topics including Computability theory and Mathematical logic.
Vinony links it to 42 Wikipedia language editions.
Wikidata facts
- Subclass of
- theory of computation
Show 3 more facts
- topic's main category
- Category:Computability theory
- Commons category
- Computer science
- on focus list of Wikimedia project
- Wikipedia:Vital articles/Level/4
Sources (2)
via Wikidata · CC0
Article · Español
La teoría de la computabilidad es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing. Las preguntas fundamentales de la teoría de la computabilidad son: * ¿Qué problemas puede resolver una máquina de Turing? * ¿Qué otros formalismos equivalen a las máquinas de Turing? * ¿Qué problemas requieren máquinas más poderosas? * ¿Qué problemas requieren máquinas menos poderosas? La teoría de la complejidad computacional clasifica las funciones computables según el uso que hacen de diversos recursos en diversos tipos de máquina.
Abstract from DBpedia / Wikipedia · CC BY-SA