Preguntas ciencias de lambda - i-Ciencias.com

Puntuación Visitas Fecha

0

1Resp

8Vistas

How to calculate wavelength for a half pi displacement?

Abierta

Preguntado hace 1 semana por TRUNG TÂM TƯ VẤN DU HỌC TIIMEDU

7

1Resp

76Vistas

Criterio para la consistencia de los sistemas de tipos puros

Abierta

Preguntado el 30 de Mayo, 2021 por japhet mlay

25

3Resp

1273Vistas

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

Resuelta

Preguntado el 29 de Enero, 2021 por JRC

1

1Resp

112Vistas

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

102Vistas

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

629Vistas

¿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

432Vistas

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

Resuelta

Preguntado el 25 de Diciembre, 2020 por GEU197

8

1Resp

900Vistas

¿Es el anillo Burnside un anillo lambda? + conjetura en Knutson p. 113

Resuelta

Preguntado el 6 de Febrero, 2010 por David Gardiner

3

1Resp

3658Vistas

Combinador de bucles (ω)

Resuelta

Preguntado el 3 de Enero, 2012 por Emory Bell

1

1Resp

70Vistas

Representabilidad lambda para la función booleana

Resuelta

Preguntado el 11 de Junio, 2021 por LgScr

13

3Resp

7250Vistas

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

Resuelta

Preguntado el 15 de Enero, 2010 por David Sykes

1

1Resp

111Vistas

evaluación del cálculo lambda

Resuelta

Preguntado el 9 de Enero, 2019 por Amin Nasim saravi

23

1Resp

37682Vistas

Diferencia entre un 'cálculo' y un 'álgebra'

Abierta

Preguntado el 26 de Agosto, 2010 por Sascha

11

1Resp

1174Vistas

¿Cuándo los anillos de representación son anillos lambda especiales? (variaciones de una vieja pregunta)

Resuelta

Preguntado el 17 de Junio, 2011 por David Gardiner

3

1Resp

61Vistas

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

38

3Resp

1469Vistas

Operaciones lambda en grupos de esferas homotopicas estables

Resuelta

Preguntado el 4 de Noviembre, 2012 por dave

4

2Resp

119Vistas

Ayudar a entender la beta de reducción de ejemplo

Resuelta

Preguntado el 24 de Noviembre, 2018 por EdwardHaigh

4

3Resp

259Vistas

¿Cuál es un buen recurso para aprender sobre el cálculo lambda de tipo simple?

Abierta

Preguntado el 19 de Enero, 2014 por CocoaPriest

11

2Resp

205Vistas

¿Cuál es la definición de teoría equacional? ¿Por qué la lógica es libre?

Resuelta

Preguntado el 20 de Mayo, 2014 por John David Ravenscroft

4

1Resp

162Vistas

implica.

Abierta

Preguntado el 12 de Octubre, 2013 por gdelfino

«
1
2
»

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

X