¡Más rápido que el navegador!
21 relaciones: Algoritmo, Ciencias formales, Conjunto, Conjunto recursivamente enumerable, Conjunto recursivo, Decidibilidad, Diecisiete, Entscheidungsproblem, Función recursiva, Grafo, Lenguaje formal, Máquina de Turing, Número entero, Número natural, Número primo, Problema de la parada, Problema del camino más corto, Problema indecidible, Teoría de la complejidad computacional, Teoría de la computabilidad, Teoría de la computación.
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 de decisión y Algoritmo · Ver más »
Ciencias formales
Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales.
¡Nuevo!!: Problema de decisión y Ciencias formales · Ver más »
Conjunto
En matemáticas, un conjunto es una colección de elementos considerada en sí misma como un objeto matemático.
¡Nuevo!!: Problema de decisión y Conjunto · 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 de decisión 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 de decisión y Conjunto recursivo · Ver más »
Decidibilidad
En metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema.
¡Nuevo!!: Problema de decisión y Decidibilidad · Ver más »
Diecisiete
El diecisiete (17) es el número natural que sigue al 16 y precede al 18.
¡Nuevo!!: Problema de decisión y Diecisiete · 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 de decisión y Entscheidungsproblem · Ver más »
Función recursiva
En lógica matemática y computación, las funciones recursivas o también conocidas como funciones recursivas-μ son una clase de funciones de los números naturales en los números naturales que son «computables» en un sentido intuitivo.
¡Nuevo!!: Problema de decisión y Función recursiva · Ver más »
Grafo
En matemáticas y ciencias de la computación, un grafo (del griego grafos: dibujo, imagen) es un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un conjunto.
¡Nuevo!!: Problema de decisión y Grafo · 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 de decisión y Lenguaje formal · Ver más »
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas.
¡Nuevo!!: Problema de decisión y Máquina de Turing · Ver más »
Número entero
Un número entero es un elemento del conjunto numérico que contiene los números naturales; que son \mathbb.
¡Nuevo!!: Problema de decisión y Número entero · 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 de decisión y Número natural · Ver más »
Número primo
En matemáticas, un número primo es un número natural mayor que 1 que tiene únicamente dos divisores positivos distintos: él mismo y el 1.
¡Nuevo!!: Problema de decisión y Número primo · 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 de decisión y Problema de la parada · Ver más »
Problema del camino más corto
En la teoría de grafos, el problema del camino más corto es el problema que consiste en encontrar un camino entre dos vértices o nodos, de tal manera que la suma de los pesos de las aristas que lo constituyen sea mínima.
¡Nuevo!!: Problema de decisión y Problema del camino más corto · Ver más »
Problema indecidible
En teoría de la computabilidad y en teoría de la complejidad computacional, un problema indecidible es un problema de decisión para el cual es imposible construir un algoritmo que siempre conduzca a una respuesta de sí o no correcta.
¡Nuevo!!: Problema de decisión y Problema indecidible · 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 de decisión 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 de decisión y Teoría de la computabilidad · Ver más »
Teoría de la computación
La teoría de la computación o teoría de la informática es un conjunto de conocimientos racionales y sistematizados que se centran en el estudio de la abstracción de los procesos, con el fin de reproducirlos con ayuda de sistemas formales; es decir, a través de símbolos y reglas lógicas.
¡Nuevo!!: Problema de decisión y Teoría de la computación · Ver más »
Redirecciona aquí:
Parcialmente decidible, Problema de decision, Problema decidible, Problema parcialmente decidible, Problema semidecidible, Semidecidible.
