Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03865861n
Noun Named Entity
Categories: Computabilidad, Lógica matemática, Máquinas de Turing, Gottfried Leibniz
ES
Entscheidungsproblem
ES
En ciencias de la computación y matemáticas, el Entscheidungsproblem fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema. Wikipedia
Definitions
Relations
Sources
ES
En ciencias de la computación y matemáticas, el Entscheidungsproblem fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema. Wikipedia
Concepto informático Wikidata
IS A
problema matemático
HAS QUALITY
decidibilidad
Wikipedia
ES
Entscheidungsproblem
Wikidata
ES
Entscheidungsproblem

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License