Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas. A pesar de su simplicidad, una…37 kB (5033 palabras) - 19:17 27 ene 2024
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…30 kB (4148 palabras) - 00:23 28 ene 2024- En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y…45 kB (6137 palabras) - 16:45 13 may 2024
- 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…4 kB (555 palabras) - 01:17 22 feb 2023
En la teoría de la probabilidad, se conoce como cadena de Márkov o modelo de Márkov a un tipo especial de proceso estocástico discreto en el que la probabilidad…25 kB (4417 palabras) - 10:00 18 may 2024
En teoría de la computación, una función de Ackermann es una función matemática recursiva encontrada en 1926 por Wilhelm Ackermann. Tiene un crecimiento…11 kB (1397 palabras) - 12:32 23 ene 2024
En el siglo XVIII empezó a difundirse la idea de crear una máquina capaz de jugar al ajedrez. En el año 1768 un jugador de ajedrez autómata llamado El…55 kB (6298 palabras) - 21:14 13 feb 2024- En teoría de la computabilidad, la tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de…9 kB (1270 palabras) - 20:08 30 ene 2024
- Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y son, específicamente, las funciones que pueden ser calculadas…20 kB (2736 palabras) - 16:05 29 sep 2023
- 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…5 kB (634 palabras) - 20:11 30 ene 2024
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). El concepto…6 kB (658 palabras) - 17:33 1 dic 2023- En ciencia computacional teórica, un problema computacional o problema abstracto es una relación entre un conjunto de instancias y un conjunto de soluciones…6 kB (1030 palabras) - 13:20 5 dic 2023
- En teoría de la computabilidad, la recursión primitiva permite definir una clase de funciones que forman un importante paso en la formalización de la noción…8 kB (894 palabras) - 01:34 22 feb 2023
- En teoría de la computabilidad, un conjunto S de números naturales se denomina computablemente enumerable (ce), recursivamente enumerable (re), semidecidible…9 kB (1189 palabras) - 15:53 23 abr 2024
- 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…4 kB (496 palabras) - 01:52 19 mar 2024
- La constante de Chaitin (o número omega de Chaitin o probabilidad de parada) es la probabilidad de que un programa elegido al azar detenga correctamente…4 kB (482 palabras) - 22:28 6 ene 2024
- La Competición de factorización RSA fue un desafío propuesto por los Laboratorios RSA el 18 de marzo de 1991 para fomentar la investigación en la teoría…9 kB (485 palabras) - 16:44 25 ene 2024
En matemáticas, especialmente en ciencia computacional teórica y lógica matemática, los números computables o recursivos son los números reales que pueden…12 kB (1750 palabras) - 09:06 15 feb 2023
La cadena de Ehrenfest, llamada así en honor al físico y matemático austriaco Paul Ehrenfest, es una cadena de Márkov en tiempo discreto usada para modelar…2 kB (272 palabras) - 02:58 3 feb 2023- En teoría de la complejidad computacional, la clase de complejidad ELEMENTARY de las funciones recursivas elementales es la unión de las clases E L E M…6 kB (890 palabras) - 20:45 29 ene 2024
