68 relaciones: Adición (matemática), Algoritmo, Alonzo Church, American Journal of Mathematics, Annals of Mathematics, Asociatividad (álgebra), Bicondicional, C (lenguaje de programación), C Sharp, C++, Cadena de caracteres, CAR y CDR, Cardinalidad, Cálculo lambda simplemente tipado, Conjunto unitario, CONS, Constante (informática), Currificación, Dana Scott, Dominio, Entscheidungsproblem, Evaluación perezosa, Factorial, Free On-line Dictionary of Computing, Función (matemática), Función computable, Función de orden superior, Función identidad, Fundamentos de las matemáticas, Hardware, Haskell, Java (lenguaje de programación), Lógica matemática, Lisp, Máquina de Turing, Miranda (lenguaje de programación), ML (lenguaje de programación), Número natural, Numeración de Gödel, Objeto (programación), Pascal (lenguaje de programación), PDF, Peter Landin, Problema de la parada, Programación funcional, Puntero, Python, Recursión, Semántica formal, Sistema formal, ..., Smalltalk, Software, Stephen Kleene, Subrutina, Teoría de la computabilidad, Teoría de modelos, Teoremas de incompletitud de Gödel, Tesis de Church-Turing, Thunk, Tipo de dato, Tupla, Variable (matemática), 1930, 1935, 1936, 1965, 1977, 1984. Expandir índice (18 más) »
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!!: Cálculo lambda 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!!: Cálculo lambda y Algoritmo · Ver más »
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica.
¡Nuevo!!: Cálculo lambda y Alonzo Church · Ver más »
American Journal of Mathematics
American Journal of Mathematics es una revista de matemáticas fundada por el matemático inglés James Joseph Sylvester y publicada por la Johns Hopkins University Press desde 1878, por lo que es la más antigua revista en este campo en el hemisferio occidental y la primera publicación académica de esta editorial.
¡Nuevo!!: Cálculo lambda y American Journal of Mathematics · Ver más »
Annals of Mathematics
Annals of Mathematics, abreviada como Ann.
¡Nuevo!!: Cálculo lambda y Annals of Mathematics · Ver más »
Asociatividad (álgebra)
La asociatividad es una propiedad en el álgebra y la lógica proposicional que se cumple, si dados tres o más elementos cualquiera de un conjunto determinado, se verifica que existe una operación: \circledcirc, que cumpla la igualdad: Es decir, en una expresión asociativa con dos o más ocurrencias seguidas de un mismo operador asociativo, el orden en que se ejecuten las operaciones no altera el resultado, siempre y cuando se mantenga intacta la secuencia de los operandos.
¡Nuevo!!: Cálculo lambda y Asociatividad (álgebra) · 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!!: Cálculo lambda y Bicondicional · Ver más »
C (lenguaje de programación)
C es un lenguaje de programación de propósito general originalmente desarrollado por Dennis Ritchie entre 1969 y 1972 en los Laboratorios Bell, como evolución del anterior lenguaje B, a su vez basado en BCPL.
¡Nuevo!!: Cálculo lambda y C (lenguaje de programación) · Ver más »
C Sharp
"C#" (pronunciado cii sharp en inglés) es un lenguaje de programación multiparadigma desarrollado y estandarizado por la empresa Microsoft como parte de su plataforma.NET, que después fue aprobado como un estándar por la ECMA (ECMA-334) e ISO (ISO/IEC 23270).
¡Nuevo!!: Cálculo lambda y C Sharp · Ver más »
C++
C++ es un lenguaje de programación diseñado en 1979 por Bjarne Stroustrup.
¡Nuevo!!: Cálculo lambda y C++ · 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!!: Cálculo lambda y Cadena de caracteres · Ver más »
CAR y CDR
car y cdr son operaciones primitivas sobre las celdas cons (o "expresiones S no atómicas") introducidas en el lenguaje de programación Lisp.
¡Nuevo!!: Cálculo lambda y CAR y CDR · Ver más »
Cardinalidad
En matemáticas, la cardinalidad de un conjunto es la medida del "número de elementos en el conjunto".
¡Nuevo!!: Cálculo lambda y Cardinalidad · Ver más »
Cálculo lambda simplemente tipado
El cálculo lambda simplemente tipado (\lambda^) es una teoría de tipos basada en el cálculo de lambda con un único constructor de tipos, \to, que construye tipos función.
¡Nuevo!!: Cálculo lambda y Cálculo lambda simplemente tipado · Ver más »
Conjunto unitario
En matemáticas, un conjunto unitario es un conjunto con un único elemento.
¡Nuevo!!: Cálculo lambda y Conjunto unitario · Ver más »
CONS
CONS, es la abreviatura de Servicio de red orientado a conexión (en inglés Connection-Oriented Network).
¡Nuevo!!: Cálculo lambda y CONS · Ver más »
Constante (informática)
En programación, una constante es un valor que no puede ser alterado/modificado durante la ejecución de un programa, únicamente puede ser leído.
¡Nuevo!!: Cálculo lambda y Constante (informática) · Ver más »
Currificación
En la ciencia de la computación, currificar es la técnica inventada por Moses Schönfinkel y Gottlob Frege que consiste en transformar una función que utiliza múltiples argumentos (o más específicamente una n-tupla como argumento) en una secuencia de funciones que utilizan un único argumento (la operación inversa a la composición de funciones en matemáticas).
¡Nuevo!!: Cálculo lambda y Currificación · Ver más »
Dana Scott
Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California.
¡Nuevo!!: Cálculo lambda y Dana Scott · Ver más »
Dominio
Los términos dominio y otros relacionados (dominación, dominante, dominar) pueden referirse a.
¡Nuevo!!: Cálculo lambda y Dominio · 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!!: Cálculo lambda y Entscheidungsproblem · Ver más »
Evaluación perezosa
En la teoría de lenguajes de programación, La evaluación perezosa (del inglés lazy evaluation) o llamada por necesidad es una estrategia de evaluación que retrasa el cálculo de una expresión hasta que su valor sea necesario, y que también evita repetir la evaluación en caso de ser necesaria en posteriores ocasiones.
¡Nuevo!!: Cálculo lambda y Evaluación perezosa · Ver más »
Factorial
El factorial de un entero positivo n, el factorial de n o n factorial se define en principio como el producto de todos los números enteros positivos desde 1 (es decir, los números naturales) hasta n. Por ejemplo: La operación de factorial aparece en muchas áreas de las matemáticas, particularmente en combinatoria y análisis matemático.
¡Nuevo!!: Cálculo lambda y Factorial · Ver más »
Free On-line Dictionary of Computing
Free On-line Dictionary of Computing o FOLDOC (del inglés «Diccionario de informática en línea y libre») es un diccionario enciclopédico de informática en línea.
¡Nuevo!!: Cálculo lambda y Free On-line Dictionary of Computing · Ver más »
Función (matemática)
En matemática, se dice que una magnitud es función de otra si el valor de la primera depende del valor de la segunda.
¡Nuevo!!: Cálculo lambda y Función (matemática) · Ver más »
Función computable
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 por una máquina de Turing.
¡Nuevo!!: Cálculo lambda y Función computable · Ver más »
Función de orden superior
En matemáticas y ciencias de la computación funciones de orden superior son funciones que cumplen al menos una de las siguientes condiciones.
¡Nuevo!!: Cálculo lambda y Función de orden superior · Ver más »
Función identidad
En matemáticas una función identidad es una función matemática, de un conjunto M a sí mismo, que devuelve su propio largo.
¡Nuevo!!: Cálculo lambda y Función identidad · Ver más »
Fundamentos de las matemáticas
Los fundamentos de las matemáticas son el estudio de conceptos matemáticos básicos como números, figuras geométricas, conjuntos, funciones, etc.
¡Nuevo!!: Cálculo lambda y Fundamentos de las matemáticas · Ver más »
Hardware
El hardware, equipo o soporte físico en informática se refiere a las partes físicas, tangibles, de un sistema informático, sus componentes eléctricos, electrónicos y electromecánicos.
¡Nuevo!!: Cálculo lambda y Hardware · Ver más »
Haskell
Haskell (pronunciado //) es un lenguaje de programación estandarizado multi-propósito, funcionalmente puro, con evaluación no estricta y memorizada, y fuerte tipificación estática.
¡Nuevo!!: Cálculo lambda y Haskell · Ver más »
Java (lenguaje de programación)
Java es un lenguaje de programación y una plataforma informática que fue comercializada por primera vez en 1995 por Sun Microsystems.
¡Nuevo!!: Cálculo lambda y Java (lenguaje de programación) · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: Cálculo lambda y Lógica matemática · Ver más »
Lisp
Lisp (históricamente LISP) es una familia de lenguajes de programación de computadora de tipo multiparadigma con larga historia y una inconfundible y útil sintaxis homoicónica basada en la notación polaca.
¡Nuevo!!: Cálculo lambda y Lisp · 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!!: Cálculo lambda y Máquina de Turing · Ver más »
Miranda (lenguaje de programación)
Miranda fue desarrollado entre los años 1985 y 1986 por David Turner.
¡Nuevo!!: Cálculo lambda y Miranda (lenguaje de programación) · Ver más »
ML (lenguaje de programación)
ML es un lenguaje de programación de propósito general de la familia de los lenguajes de programación funcional desarrollado por Robin Milner y otros a finales de los años 1970 en la Universidad de Edimburgo.
¡Nuevo!!: Cálculo lambda y ML (lenguaje de programació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!!: Cálculo lambda 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!!: Cálculo lambda y Numeración de Gödel · Ver más »
Objeto (programación)
En el paradigma de programación orientada a objetos (POO, o bien OOP en inglés), un objeto es un ente orientado a objetos (programa de computadoras) que consta de un estado y de un comportamiento, que a su vez constan respectivamente de datos almacenados y de tareas realizables durante el tiempo de ejecución.
¡Nuevo!!: Cálculo lambda y Objeto (programación) · Ver más »
Pascal (lenguaje de programación)
Pascal es un lenguaje de programación creado por el profesor suizo Niklaus Wirth entre los años 1968 y 1969, y publicado en 1970.
¡Nuevo!!: Cálculo lambda y Pascal (lenguaje de programación) · Ver más »
PDF (siglas en inglés de Portable Document Format, 'formato de documento portátil') es un formato de almacenamiento para documentos digitales independientes de plataformas de software o hardware.
¡Nuevo!!: Cálculo lambda y PDF · Ver más »
Peter Landin
Peter John Landin (5 de junio de 1930 - 3 de junio de 2009) fue un informático británico.
¡Nuevo!!: Cálculo lambda y Peter Landin · 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!!: Cálculo lambda y Problema de la parada · Ver más »
Programación funcional
En informática, la programación funcional es un paradigma de programación declarativa basado en el uso de verdaderas funciones matemáticas.
¡Nuevo!!: Cálculo lambda y Programación funcional · Ver más »
Puntero
Un puntero o dispositivo de puntero es una varilla sólida usada para apuntar manualmente, en forma de barra, pero siempre terminado o producido artificialmente.
¡Nuevo!!: Cálculo lambda y Puntero · Ver más »
Python
Python es un lenguaje de alto nivel de programación interpretado cuya filosofía hace hincapié en la legibilidad de su código, se utiliza para desarrollar aplicaciones de todo tipo, por ejemplo: Instagram, Netflix, Spotify, Panda3D, entre otros.
¡Nuevo!!: Cálculo lambda y Python · 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!!: Cálculo lambda y Recursión · Ver más »
Semántica formal
La semántica formal es el estudio de las interpretaciones de los lenguajes formales.
¡Nuevo!!: Cálculo lambda y Semántica formal · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Cálculo lambda y Sistema formal · Ver más »
Smalltalk
Smalltalk es un lenguaje reflexivo de programación, orientado a objetos y con tipado dinámico.
¡Nuevo!!: Cálculo lambda y Smalltalk · Ver más »
Software
Se conoce como software, logicial o soporte lógico al sistema formal de un sistema informático, que comprende el conjunto de los componentes lógicos necesarios que hace posible la realización de tareas específicas, en contraposición a los componentes físicos que son llamados hardware.
¡Nuevo!!: Cálculo lambda y Software · Ver más »
Stephen Kleene
Stephen Cole Kleene (Hartford, Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense.
¡Nuevo!!: Cálculo lambda y Stephen Kleene · Ver más »
Subrutina
En informática, una subrutina o subprograma (también llamada procedimiento, función, rutina o método), como idea general, se presenta como un subalgoritmo que forma parte del algoritmo principal, el cual permite resolver una tarea específica.
¡Nuevo!!: Cálculo lambda y Subrutina · 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!!: Cálculo lambda y Teoría de la computabilidad · Ver más »
Teoría de modelos
En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática.
¡Nuevo!!: Cálculo lambda y Teoría de modelos · Ver más »
Teoremas de incompletitud de Gödel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931.
¡Nuevo!!: Cálculo lambda y Teoremas de incompletitud de Gödel · 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!!: Cálculo lambda y Tesis de Church-Turing · Ver más »
Thunk
Thunk es un término usado en la jerga del desarrollo de software que designa la llamada o invocación a un código que pertenece a otra plataforma o a otro Framework.
¡Nuevo!!: Cálculo lambda y Thunk · Ver más »
Tipo de dato
En ciencias de la computación, un tipo de dato informático o simplemente tipo es un atributo de los datos que indica al ordenador (y/o al programador/programadora) sobre la clase de datos que se va a manejar.
¡Nuevo!!: Cálculo lambda y Tipo de dato · Ver más »
Tupla
En matemáticas, una tupla o upla es una lista (secuencia) ordenada y finita de elementos.
¡Nuevo!!: Cálculo lambda y Tupla · Ver más »
Variable (matemática)
En matemáticas y en lógica, una variable es un símbolo constituyente de un predicado, fórmula, algoritmo o de una proposición.
¡Nuevo!!: Cálculo lambda y Variable (matemática) · Ver más »
1930
1930 fue un año común comenzado en miércoles según el calendario gregoriano.
¡Nuevo!!: Cálculo lambda y 1930 · Ver más »
1935
1935 fue un año común comenzado en martes según el calendario gregoriano.
¡Nuevo!!: Cálculo lambda y 1935 · Ver más »
1936
1936 fue un año bisiesto comenzado en miércoles según el calendario gregoriano.
¡Nuevo!!: Cálculo lambda y 1936 · Ver más »
1965
1965 fue un año común comenzado en viernes según el calendario gregoriano.
¡Nuevo!!: Cálculo lambda y 1965 · Ver más »
1977
1977 fue un año común comenzado en sábado según el calendario gregoriano.
¡Nuevo!!: Cálculo lambda y 1977 · Ver más »
1984
1984 fue un año bisiesto comenzado en domingo en el calendario gregoriano.
¡Nuevo!!: Cálculo lambda y 1984 · Ver más »
Redirecciona aquí:
Calculo Lambda, Calculo lambda, Calculo-λ, Cálculo Lambda, Cálculo λ, Cálculo-λ, Expresiones lambda, Lambda Calculo, Lambda Cálculo, Lambda calculo, Lambda calculus, Lambda cálculo, Lambda-calculo, Lambda-cálculo.