Preguntas ciencias de lambda-calculus

7

1Resp

78Vistas

Criterio para la consistencia de los sistemas de tipos puros

Abierta

Preguntado el 30 de Mayo, 2021 por japhet mlay

25

3Resp

1275Vistas

¿La función "evaluación" simplemente significa "composición"?

Resuelta

Preguntado el 29 de Enero, 2021 por JRC

1

1Resp

114Vistas

Mostrar que no existe $F$ tal que $F(MN) = M$ para todo $M$ y $N.

Resuelta

Preguntado el 27 de Mayo, 2019 por Anonymous

27

2Resp

2072Vistas

¿Por qué no podemos formalizar el cálculo lambda en la lógica de primer orden?

Resuelta

Preguntado el 22 de Febrero, 2017 por Jacob Denson

1

1Resp

53Vistas

Calculando $(\lambda x.(x+y))1$

Resuelta

Preguntado el 13 de Septiembre, 2014 por Sébastien Fulmer

2

1Resp

1617Vistas

Cálculo Lambda - Definir el término lambda para representar la función $f(n) = verdadero$ si $n$ es par y $falso$ en caso contrario

Resuelta

Preguntado el 11 de Abril, 2018 por Kolmin

2

1Resp

88Vistas

¿Dónde y cómo se utiliza el cálculo lambda?

Resuelta

Preguntado el 22 de Agosto, 2021 por Nick Scriabin

20

5Resp

2825Vistas

[resuelto] cálculo secuencial como lenguaje de programación

Resuelta

Preguntado el 26 de Junio, 2010 por Ray Hayes

3

2Resp

104Vistas

Aplicaciones de la función de secuenciación en la reducción beta

Resuelta

Preguntado el 27 de Septiembre, 2021 por infinitesimal_microscope

8

2Resp

1421Vistas

¿Codificar el cálculo lambda en aritmética?

Resuelta

Preguntado el 7 de Junio, 2015 por ksaunam

1

1Resp

85Vistas

Me gustaría conocer ejemplos de aplicaciones de la teoría de tipos. ¿Con qué fin se inventó la teoría de tipos? ¿Puede darme algunas motivaciones?

Resuelta

Preguntado el 3 de Abril, 2020 por Jordan Willis

2

2Resp

631Vistas

¿Cómo puedo determinar la cardinalidad de un conjunto de funciones polimórficas?

Resuelta

Preguntado el 19 de Mayo, 2011 por hurikhan77

2

1Resp

85Vistas

Definición formal de la sustitución en el cálculo lambda sin tipos

Resuelta

Preguntado el 11 de Febrero, 2019 por twchapman

1

1Resp

433Vistas

Dar un término de cálculo Lambda para una función Haskell

Resuelta

Preguntado el 25 de Diciembre, 2020 por GEU197

3

1Resp

3659Vistas

Combinador de bucles (ω)

Resuelta

Preguntado el 3 de Enero, 2012 por Emory Bell

1

1Resp

71Vistas

Representabilidad lambda para la función booleana

Resuelta

Preguntado el 11 de Junio, 2021 por LgScr

13

3Resp

7251Vistas

¿Es la programación funcional una rama de las matemáticas?

Resuelta

Preguntado el 15 de Enero, 2010 por David Sykes

1

1Resp

112Vistas

evaluación del cálculo lambda

Resuelta

Preguntado el 9 de Enero, 2019 por Amin Nasim saravi

3

1Resp

62Vistas

son todos términos lambda simplemente tipados de tipo $(A\to A) \to A \to A$ ¿números de la iglesia?

Resuelta

Preguntado el 16 de Noviembre, 2017 por CheeseConQueso

4

1Resp

87Vistas

Términos lambda "activo" e "inactivo" e Iglesia.

Resuelta

Preguntado el 27 de Junio, 2017 por exitNode

2

1Resp

85Vistas

Identificación de redexes en una expresión lambda

Resuelta

Preguntado el 16 de Marzo, 2020 por Schierke

Preguntas ciencias lambda-calculus

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Criterio para la consistencia de los sistemas de tipos puros

¿La función "evaluación" simplemente significa "composición"?

Mostrar que no existe $F$ tal que $F(MN) = M$ para todo $M$ y $N.

¿Por qué no podemos formalizar el cálculo lambda en la lógica de primer orden?

Calculando $(\lambda x.(x+y))1$

Cálculo Lambda - Definir el término lambda para representar la función $f(n) = verdadero$ si $n$ es par y $falso$ en caso contrario

¿Dónde y cómo se utiliza el cálculo lambda?

[resuelto] cálculo secuencial como lenguaje de programación

Aplicaciones de la función de secuenciación en la reducción beta

¿Codificar el cálculo lambda en aritmética?

Me gustaría conocer ejemplos de aplicaciones de la teoría de tipos. ¿Con qué fin se inventó la teoría de tipos? ¿Puede darme algunas motivaciones?

¿Cómo puedo determinar la cardinalidad de un conjunto de funciones polimórficas?

Definición formal de la sustitución en el cálculo lambda sin tipos

Dar un término de cálculo Lambda para una función Haskell

Combinador de bucles (ω)

Representabilidad lambda para la función booleana

¿Es la programación funcional una rama de las matemáticas?

evaluación del cálculo lambda

son todos términos lambda simplemente tipados de tipo $(A\to A) \to A \to A$ ¿números de la iglesia?

Términos lambda "activo" e "inactivo" e Iglesia.

Identificación de redexes en una expresión lambda

Etiquetas mas usadas

i-Ciencias.com

Powered by: