¡Más rápido que el navegador!
28 relaciones: Algoritmo, Cadena de caracteres, Conjunto infinito, Conjunto recursivamente enumerable, Conjunto recursivo, David Hilbert, Ecuación diofántica, Emil Leon Post, Entrada, Entscheidungsproblem, Equivalente, Homeomorfismo, Isomorfismo, Lógica de segundo orden, Lenguaje formal, Matemáticas, Matriz cero, Número natural, Numeración de Gödel, Pregunta, Problema de decisión, Problema de la parada, Respuesta, Subconjunto, Teoría de la complejidad computacional, Teoría de la computabilidad, Teorema de Rice, Topología.
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: Problema indecidible y Algoritmo · Ver más »
Cadena de caracteres
En programación, una cadena de caracteres, palabras, ristra de caracteres o frase (string, en inglés) es una secuencia ordenada (de longitud arbitraria, aunque finita) de elementos que pertenecen a un cierto lenguaje formal o alfabeto análogas a una fórmula o a una oración.
¡Nuevo!!: Problema indecidible y Cadena de caracteres · Ver más »
Conjunto infinito
En teoría de conjuntos, un conjunto infinito es un conjunto que no es finito.
¡Nuevo!!: Problema indecidible y Conjunto infinito · Ver más »
Conjunto recursivamente enumerable
En teoría de la computabilidad, un conjunto S de números naturales se denomina computablemente enumerable (ce), recursivamente enumerable (re), semidecidible, parcialmente decidible, enumerable, demostrable o Turing-reconocible si.
¡Nuevo!!: Problema indecidible y Conjunto recursivamente enumerable · Ver más »
Conjunto recursivo
En la teoría de la computabilidad, un conjunto de números naturales se llama computable, recursivo o decidible si hay un algoritmo que decide correctamente si un número pertenece o no al conjunto en tiempo finito.
¡Nuevo!!: Problema indecidible y Conjunto recursivo · Ver más »
David Hilbert
David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.
¡Nuevo!!: Problema indecidible y David Hilbert · Ver más »
Ecuación diofántica
Se llama ecuación diofántica o ecuación diofantina a cualquier ecuación algebraica, de dos o más incógnitas, cuyos coeficientes recorren el conjunto de los números enteros, de las que se buscan soluciones enteras o naturales, esto es, que pertenezcan al conjunto de los números enteros.
¡Nuevo!!: Problema indecidible y Ecuación diofántica · Ver más »
Emil Leon Post
Emil Leon Post (11 de febrero de 1897 en Augustów - 21 de abril de 1954 en Nueva York) fue un matemático estadounidense.
¡Nuevo!!: Problema indecidible y Emil Leon Post · Ver más »
Entrada
En teoría de la información, el término entrada se refiere a la entrar recibida en un mensaje, o bien al proceso de recibirla.
¡Nuevo!!: Problema indecidible y Entrada · Ver más »
Entscheidungsproblem
En ciencias de la computación y matemáticas, el Entscheidungsproblem (en español: problema de decisión) 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.
¡Nuevo!!: Problema indecidible y Entscheidungsproblem · Ver más »
Equivalente
Peso equivalente, también conocido como equivalente gramo o actualmente masa equivalente, es un término que se ha utilizado en varios contextos en química.
¡Nuevo!!: Problema indecidible y Equivalente · Ver más »
Homeomorfismo
En topología, un homeomorfismo (del griego ὅμοιος (homoios).
¡Nuevo!!: Problema indecidible y Homeomorfismo · Ver más »
Isomorfismo
En matemáticas, un isomorfismo (del griego iso-morfos: Igual forma) es un homomorfismo (o más generalmente un morfismo) que admite un inverso.
¡Nuevo!!: Problema indecidible e Isomorfismo · Ver más »
Lógica de segundo orden
Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.
¡Nuevo!!: Problema indecidible y Lógica de segundo orden · Ver más »
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
¡Nuevo!!: Problema indecidible y Lenguaje formal · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Problema indecidible y Matemáticas · Ver más »
Matriz cero
En matemáticas, en particular en álgebra lineal, una matriz cero o matriz nula es una matriz con todos sus elementos iguales a cero.
¡Nuevo!!: Problema indecidible y Matriz cero · Ver más »
Número natural
En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.
¡Nuevo!!: Problema indecidible y Número natural · Ver más »
Numeración de Gödel
La numeración de Gödel es una función que asigna a cada símbolo y fórmula de un lenguaje formal un número único, denominado Número de Gödel (GN).
¡Nuevo!!: Problema indecidible y Numeración de Gödel · Ver más »
Pregunta
Una pregunta puede ser una expresión lingüística utilizada para realizar una solicitud de información, o el pedido mismo por la dicha expresión.
¡Nuevo!!: Problema indecidible y Pregunta · Ver más »
Problema de decisión
En teoría de la computación, un problema es un conjunto de frases de longitud finita que tienen asociadas frases resultantes también de longitud finita.
¡Nuevo!!: Problema indecidible y Problema de decisión · Ver más »
Problema de la parada
El problema de la parada o problema de la detención para máquinas de Turing consiste en lo siguiente: dada una Máquina de Turing M y una palabra w, determinar si M terminará en un número finito de pasos cuando es ejecutada usando w como dato de entrada.
¡Nuevo!!: Problema indecidible y Problema de la parada · Ver más »
Respuesta
El término respuesta alude, en la presente enciclopedia, es un término de palabras que intentan explicar algún suceso.
¡Nuevo!!: Problema indecidible y Respuesta · Ver más »
Subconjunto
es subconjunto de otro conjunto si todos los elementos de pertenecen también a. Decimos entonces que «está contenido» dentro de.
¡Nuevo!!: Problema indecidible y Subconjunto · Ver más »
Teoría de la complejidad computacional
La teoría de la complejidad computacional o teoría de la complejidad informática es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo con su dificultad inherente, y en la relación entre dichas clases de complejidad.
¡Nuevo!!: Problema indecidible y Teoría de la complejidad computacional · Ver más »
Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión 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.
¡Nuevo!!: Problema indecidible y Teoría de la computabilidad · Ver más »
Teorema de Rice
En teoría de la computación, el teorema de Rice es un teorema enunciado por Henry Gordon Rice y luego generalizado junto con John Myhill y Norman Shapiro a lo que se conoce como el teorema de Rice–Shapiro.
¡Nuevo!!: Problema indecidible y Teorema de Rice · Ver más »
Topología
La topología (del griego τόπος, 'lugar', y λόγος, 'estudio') es la rama de la matemática dedicada al estudio de aquellas propiedades de los cuerpos geométricos que permanecen inalteradas por transformaciones continuas.
¡Nuevo!!: Problema indecidible y Topología · Ver más »
