Hispanopedia Wiki
Articulo de referencia

Lógica de las funciones computables

La lógica de funciones computables ( LCF ) es un sistema deductivo para funciones computables propuesto por Dana Scott en 1969 en un memorándum que permaneció inédito hasta 1993...

Hispanopedia WikiContenido en espanolLectura gratuita

La lógica de funciones computables ( LCF ) es un sistema deductivo para funciones computables propuesto por Dana Scott en 1969 en un memorándum que permaneció inédito hasta 1993. [ 1 ] Inspiró:

Referencias

  1. ↑ Dana S. Scott. " Una alternativa de teoría de tipos a ISWIM, CUCH, OWHY ". Theoretical Computer Science , 121 :411–440, 1993. Versión anotada del manuscrito de 1969.
  2. ↑ Robin Milner (1973). " Modelos de LCF "
  3. ↑ Plotkin, Gordon D. (1977). "LCF considerado como un lenguaje de programación" (PDF) . Theoretical Computer Science . 5 (3): 223– 255. doi : 10.1016/0304-3975(77)90044-5 .
Lecturas relacionadas
6 articulos
Sistema formalSistema formalUn sistema formal (o sistema deductivo ) es una estructura abstracta y una formalización de un sistema axiomático que se utiliza para deducir , med...{\displaystyle f:\mathbb {N} ^{k}\rightarrow \mathbb {N} }Función computableLas funciones computables son los objetos básicos de estudio en la teoría de la computabilidad . Las funciones computables son el análogo formaliza...Dana ScottDana ScottDana Stewart Scott (nacido el 11 de octubre de 1932) es un lógico estadounidense que es profesor emérito de Ciencias de la Computación , Filosofía ...Lógica para funciones computablesLógica para funciones computablesLógica para funciones computables ( LCF ) es un demostrador de teoremas interactivo y automatizado desarrollado en Stanford y Edimburgo por Robin M...Robin MilnerRobin MilnerArthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.[5][6][7][8][9][10]{\displaystyle {\frac {\Gamma \;\vdash \;t\;:{\textbf {nat}},\quad \quad \Gamma \;\vdash \;s_{0}\;:\sigma ,\quad \quad \Gamma \;\vdash \;s_{1}\;:\sigma }{\Gamma \;\vdash \;{\textbf {si}}(t,s_{0},s_{1})\;:\sigma }}}Programación de funciones computablesEn informática , Programming Computable Functions (PCF) es un lenguaje funcional tipado introducido por Gordon Plotkin en 1977, [1] basado en mater...