22 relaciones: Ámsterdam, Currificación, Curry (lenguaje de programación), David Hilbert, Enciclopedia Salvat, Gotinga, Haskell, Lógica combinatoria, Lógica matemática, Lenguaje de programación, Massachusetts, Matemático, Nacionalidad estadounidense, Oxford University Press, Paradoja de Curry, Pensilvania, State College (Pensilvania), Ted Honderich, Teoría de sistemas, Universidad de Harvard, Universidad de Princeton, Universidad Estatal de Pensilvania.
Ámsterdam
Ámsterdam (Amsterdam) es la capital de los Países Bajos.
¡Nuevo!!: Haskell Curry y Ámsterdam · 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!!: Haskell Curry y Currificación · Ver más »
Curry (lenguaje de programación)
Curry es un lenguaje experimental de programación en lógica funcional, basado en el lenguaje Haskell, que combina elementos de programación funcional y programación lógica.
¡Nuevo!!: Haskell Curry y Curry (lenguaje de programación) · Ver más »
David Hilbert
David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.
¡Nuevo!!: Haskell Curry y David Hilbert · Ver más »
Enciclopedia Salvat
La Enciclopedia Salvat es una enciclopedia de consulta elaborada por Salvat Editores con experiencia reconocida en la elaboración de diccionarios y obras de consulta en diversos niveles.
¡Nuevo!!: Haskell Curry y Enciclopedia Salvat · Ver más »
Gotinga
Gotinga (en alemán: Göttingen, pron.) es un municipio y una ciudad alemana, capital del distrito homónimo y situada en el Estado federado de Baja Sajonia.
¡Nuevo!!: Haskell Curry y Gotinga · 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!!: Haskell Curry y Haskell · Ver más »
Lógica combinatoria
La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de la computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar matemáticamente).
¡Nuevo!!: Haskell Curry y Lógica combinatoria · 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!!: Haskell Curry y Lógica matemática · Ver más »
Lenguaje de programación
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
¡Nuevo!!: Haskell Curry y Lenguaje de programación · Ver más »
Massachusetts
Massachusetts o Masachusets (/mæsəˈtʃusɪts/ en inglés), oficialmente Mancomunidad de Massachusetts (en inglés Commonwealth of Massachusetts), es uno de los cincuenta estados que, junto con Washington D. C., forman los Estados Unidos de América.
¡Nuevo!!: Haskell Curry y Massachusetts · 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!!: Haskell Curry y Matemático · Ver más »
Nacionalidad estadounidense
La nacionalidad estadounidense o ciudadanía estadounidense es el estatus de una persona física como miembro legal de los Estados Unidos.
¡Nuevo!!: Haskell Curry y Nacionalidad estadounidense · Ver más »
Oxford University Press
Oxford University Press (OUP) es la casa editorial de mayor reconocimiento en el Reino Unido y una de las más prestigiosas a nivel mundial.
¡Nuevo!!: Haskell Curry y Oxford University Press · 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!!: Haskell Curry y Paradoja de Curry · Ver más »
Pensilvania
Pensilvania (Pennsylvania), oficialmente Mancomunidad de Pensilvania (Commonwealth of Pennsylvania), es uno de los cincuenta estados que, junto con Washington D. C., forman los Estados Unidos de América.
¡Nuevo!!: Haskell Curry y Pensilvania · Ver más »
State College (Pensilvania)
State College es un borough ubicado en el condado de Centre en el estado estadounidense de Pensilvania.
¡Nuevo!!: Haskell Curry y State College (Pensilvania) · Ver más »
Ted Honderich
Ted Honderich (nacido el 30 de enero de 1933) es un profesor de filosofía nacido en Canadá, que ha sido profesor emérito de la cátedra Grote de Filosofía de la Mente y Lógica en el University College de Londres.
¡Nuevo!!: Haskell Curry y Ted Honderich · Ver más »
Teoría de sistemas
La teoría de sistemas o teoría general de sistemas (TGS) es el estudio interdisciplinario de los sistemas en general.
¡Nuevo!!: Haskell Curry y Teoría de sistemas · Ver más »
Universidad de Harvard
La Universidad de Harvard, conocida habitualmente como Harvard, es una universidad privada que se encuentra en la costa Este de los Estados Unidos, en la ciudad de Cambridge, estado de Massachusetts.
¡Nuevo!!: Haskell Curry y Universidad de Harvard · Ver más »
Universidad de Princeton
La Universidad de Princeton (en inglés: Princeton University) es una de las ocho universidades privadas de investigación de la Ivy League situada en Princeton (Nueva Jersey).
¡Nuevo!!: Haskell Curry y Universidad de Princeton · Ver más »
Universidad Estatal de Pensilvania
La Universidad Estatal de Pensilvania (Pennsylvania State University o más común Penn State en inglés) es una universidad pública localizada en Pensilvania, Estados Unidos.
¡Nuevo!!: Haskell Curry y Universidad Estatal de Pensilvania · Ver más »