¡Más rápido que el navegador!
37 relaciones: Adición (matemática), Algoritmo, Bicondicional, Cálculo lambda, Compilador, Conjunto, Conjunto numerable, Conjunto recursivo, Crecimiento exponencial, Dominio de una función, Factor primo, Función compuesta, Función constante, Función inyectiva, Función parcial, Función recursiva, Herbert Enderton, Identidad de Bézout, Lenguaje formal, Lenguaje recursivo, Matemático, Máquina de Post, Máquina de registro, Máquina de Turing, Máximo común divisor, Modelo de computación, Multiplicación, Número natural, Operación unaria, Procedimiento efectivo, Recursión primitiva, Relación matemática, Teoría de la complejidad computacional, Teoría de la computabilidad, Tesis de Church-Turing, Tetración, Tupla.
Adición (matemática)
La adición o suma es la operación matemática de composición que consiste en combinar o añadir dos números o más para obtener una cantidad final o total.
¡Nuevo!!: Función computable y Adición (matemática) · Ver más »
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!!: Función computable y Algoritmo · Ver más »
Bicondicional
En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.
¡Nuevo!!: Función computable y Bicondicional · Ver más »
Cálculo lambda
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 la recursión.
¡Nuevo!!: Función computable y Cálculo lambda · Ver más »
Compilador
En informática, un compilador es un programa que traduce código escrito en un lenguaje de programación (llamado fuente) a otro lenguaje (conocido como objeto).
¡Nuevo!!: Función computable y Compilador · 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!!: Función computable y Conjunto · Ver más »
Conjunto numerable
En matemáticas, un conjunto numerable es un conjunto o bien finito o bien del mismo tamaño que los números naturales.
¡Nuevo!!: Función computable y Conjunto numerable · 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!!: Función computable y Conjunto recursivo · Ver más »
Crecimiento exponencial
La expresión crecimiento exponencial también llamado crecimiento continuo se aplica a una magnitud tal que su variación en el tiempo es proporcional a su valor, lo que implica que crece cada vez más rápido en el tiempo, de acuerdo con la ecuación: Donde: Se puede ilustrar el crecimiento exponencial tomando en la ecuación M_0.
¡Nuevo!!: Función computable y Crecimiento exponencial · Ver más »
Dominio de una función
En matemáticas, el dominio (conjunto de definición o conjunto de partida) de una función f:X\to Y es el conjunto de existencia de ella misma, es decir, los valores para los cuales la función está definida.
¡Nuevo!!: Función computable y Dominio de una función · Ver más »
Factor primo
En teoría de números, los factores primos de un número entero son los números primos divisores exactos de ese número entero.
¡Nuevo!!: Función computable y Factor primo · Ver más »
Función compuesta
En álgebra abstracta, una función compuesta es una función formada por la composición o aplicación sucesiva de otras dos funciones.
¡Nuevo!!: Función computable y Función compuesta · Ver más »
Función constante
En matemática se llama función constante a aquella función matemática que toma el mismo valor para cualquier variable independiente.
¡Nuevo!!: Función computable y Función constante · Ver más »
Función inyectiva
En matemáticas, una función: \end es inyectiva, uno a uno, si a elementos distintos del conjunto X (dominio) les corresponden elementos distintos en el conjunto Y (codominio) de f, es decir, cada elemento del conjunto Y tiene a lo sumo una preimagen en X, o, lo que es lo mismo, en el conjunto X no puede haber dos o más elementos que tengan la misma imagen.
¡Nuevo!!: Función computable y Función inyectiva · Ver más »
Función parcial
Las funciones se pueden clasificar en función de su conjunto de partida (o dominio).
¡Nuevo!!: Función computable y Función parcial · 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!!: Función computable y Función recursiva · Ver más »
Herbert Enderton
Herbert Bruce Enderton (15 de abril de 1936 – 20 de octubre de 2010) fue un matemático estadounidense.
¡Nuevo!!: Función computable y Herbert Enderton · Ver más »
Identidad de Bézout
La identidad de Bézout o Lema de Bézout es un teorema elemental de teorías de números que enuncia que si a y b son números enteros diferentes de cero con máximo común divisor d, entonces existen enteros x e y tales que: Dicho de otra manera, para todo a y b, existen un x y un y tales que: Más aún, \operatorname(a,b) es el elemento mínimo positivo del conjunto de combinaciones lineales enteras \. La identidad fue nombrada en honor del matemático francés Étienne Bézout (1730-1783).
¡Nuevo!!: Función computable e Identidad de Bézout · 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!!: Función computable y Lenguaje formal · Ver más »
Lenguaje recursivo
En matemáticas, lógica y ciencias de la computación, un lenguaje formal (un conjunto de secuencias finitas de símbolos tomados de un alfabeto fijo) es llamado lenguaje recursivo si es un subconjunto recursivo del conjunto de todas las secuencias finitas posibles sobre el alfabeto del lenguaje.
¡Nuevo!!: Función computable y Lenguaje recursivo · Ver más »
Matemático
Un matemático (del latín mathēmāticus, y este a su vez del griego μαθηματικός mathēmatikós) es una persona cuya área primaria de estudio e investigación es la matemática, es decir que contribuye con nuevo conocimiento en este campo de estudio.
¡Nuevo!!: Función computable y Matemático · Ver más »
Máquina de Post
En teoría de la computación y teoría de la recursión, una máquina de Post, bautizada así en honor de Emil Leon Post, es un autómata determinista con una cola.
¡Nuevo!!: Función computable y Máquina de Post · Ver más »
Máquina de registro
En lógica matemática y en ciencias de la computación teórica, una máquina de registro es una clase genérica de máquinas abstractas usadas en una manera similar a una máquina de Turing.
¡Nuevo!!: Función computable y Máquina de registro · 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!!: Función computable y Máquina de Turing · Ver más »
Máximo común divisor
En las matemáticas, se define el máximo común divisor (mcd o m.c.d.) de dos o más números enteros al mayor número entero que los divide sin dejar residuo alguno.
¡Nuevo!!: Función computable y Máximo común divisor · Ver más »
Modelo de computación
En la teoría de la computabilidad y en la teoría de la complejidad computacional, un modelo de computación es la definición un conjunto de operaciones permitibles usadas en el cómputo y sus respectivos costos.
¡Nuevo!!: Función computable y Modelo de computación · Ver más »
Multiplicación
La multiplicación es una operación binaria y derivada de la suma que se establece en un conjunto numérico.
¡Nuevo!!: Función computable y Multiplicación · 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!!: Función computable y Número natural · Ver más »
Operación unaria
Se define como operación unaria aquella operación matemática que sólo necesita el operador y un único operando (argumento) para que se pueda calcular un valor.
¡Nuevo!!: Función computable y Operación unaria · Ver más »
Procedimiento efectivo
Un procedimiento efectivo o método efectivo es una secuencia de pasos repetible y determinista; es decir, una en que siempre se irán obteniendo los mismos conjuntos de valores de salida para los mismos conjuntos de valores de entrada.
¡Nuevo!!: Función computable y Procedimiento efectivo · Ver más »
Recursión primitiva
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 de computabilidad, la clase de funciones recursivas primitivas.
¡Nuevo!!: Función computable y Recursión primitiva · Ver más »
Relación matemática
En matemáticas, una relación en un conjunto es alguna clase de vínculo que puede darse o puede no darse (sin posibilidad de estados intermedios) entre dos miembros de un conjunto determinado.
¡Nuevo!!: Función computable y Relación matemática · 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!!: Función computable 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!!: Función computable y Teoría de la computabilidad · Ver más »
Tesis de Church-Turing
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 Turing, que expresado en lenguaje corriente vendría a ser "todo algoritmo es equivalente a una máquina de Turing".
¡Nuevo!!: Función computable y Tesis de Church-Turing · Ver más »
Tetración
En matemáticas, la tetración (o hiper-4) es el siguiente hiperoperador después de la exponenciación, y es definida como una exponenciación iterada.
¡Nuevo!!: Función computable y Tetración · Ver más »
Tupla
En matemáticas, una tupla o upla es una lista (secuencia) ordenada y finita de elementos.
¡Nuevo!!: Función computable y Tupla · Ver más »
Redirecciona aquí:
Funcion computable, Funciones computables, Turing computable, Turing-computable.
