11 relaciones: Cálculo lambda, Cota superior asintótica, Forma normal, Haskell Curry, Paradoja de Curry, Problema indecidible, Recursión, Teoría de la computabilidad, Teoría de la demostración, Tesis de Church-Turing, Variable libre y variable ligada.
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!!: Lógica combinatoria y Cálculo lambda · Ver más »
Cota superior asintótica
En análisis de algoritmos, una cota superior asintótica es una función que sirve de cota superior de otra función cuando el argumento tiende a infinito.
¡Nuevo!!: Lógica combinatoria y Cota superior asintótica · Ver más »
Forma normal
forma normal puede referirse a.
¡Nuevo!!: Lógica combinatoria y Forma normal · Ver más »
Haskell Curry
Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense.
¡Nuevo!!: Lógica combinatoria y Haskell Curry · Ver más »
Paradoja de Curry
Llamada así por Haskell Curry, la paradoja de Curry ocurre en teoría ingenua de conjuntos o en lógicas ingenuas.
¡Nuevo!!: Lógica combinatoria y Paradoja de Curry · 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!!: Lógica combinatoria y Problema indecidible · Ver más »
Recursión
La recursión o recursividad es la forma en la cual se especifica un proceso basado en su propia definición.
¡Nuevo!!: Lógica combinatoria y Recursión · 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!!: Lógica combinatoria y Teoría de la computabilidad · Ver más »
Teoría de la demostración
La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas.
¡Nuevo!!: Lógica combinatoria y Teoría de la demostración · 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!!: Lógica combinatoria y Tesis de Church-Turing · Ver más »
Variable libre y variable ligada
En las matemáticas y en otras disciplinas que involucran lenguajes formales, incluidas la lógica matemática y la informática, una variable libre es una notación (un símbolo) que específica lugares en una expresión donde una sustitución puede producirse y no es un parámetro de esta o cualquier expresión contenedora.
¡Nuevo!!: Lógica combinatoria y Variable libre y variable ligada · Ver más »