Preguntas de lambda

Puntuación Visitas Fecha
Imagen de perfil de Yohann

9

1Resp
1086Vistas

¿Cómo multiplicar en el cálculo lambda?

Resuelta
Preguntado el 6 de Diciembre, 2013 por Yohann
Etiquetas :
Foto de perfil de David Gardiner

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
Etiquetas :
Imagen de perfil de Gareth

12

1Resp
850Vistas

Si $f(x)=g(x)$ todos los $x:A$, ¿por qué no es cierto que $\lambda x{.}f(x)=\lambda x{.}g(x)$?

Abierta
Preguntado el 6 de Junio, 2012 por Gareth
Etiquetas :
Imagen de perfil de David Gardiner

7

2Resp
870Vistas

¿Es todo morfismo de anillo de Adams un morfismo de anillo lambda?

Resuelta
Preguntado el 30 de Enero, 2010 por David Gardiner
Etiquetas :
Foto de perfil de Knox

36

3Resp
2413Vistas

¿Puede alguien explicar el Y Combinator?

Resuelta
Preguntado el 13 de Julio, 2011 por Knox
Etiquetas :
Imagen de perfil de Amin Nasim saravi

1

1Resp
111Vistas

evaluación del cálculo lambda

Resuelta
Preguntado el 9 de Enero, 2019 por Amin Nasim saravi
Etiquetas :
Foto de perfil de JMCF125

11

4Resp
757Vistas

Cómo hacer los cálculos lambda de la mayoría de las definiciones básicas de trabajo?

Resuelta
Preguntado el 21 de Julio, 2013 por JMCF125
Etiquetas :
Imagen de perfil de EdwardHaigh

4

2Resp
119Vistas

Ayudar a entender la beta de reducción de ejemplo

Resuelta
Preguntado el 24 de Noviembre, 2018 por EdwardHaigh
Etiquetas :
Imagen de perfil de David Gardiner

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
Etiquetas :
Imagen de perfil de twchapman

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
Etiquetas :
Imagen de perfil de dtldarek

9

1Resp
242Vistas

¿Cómo demostrar que estos son los únicos habitantes de tipo?

Abierta
Preguntado el 24 de Junio, 2014 por dtldarek
Etiquetas :
Foto de perfil de jcoby

12

2Resp
317Vistas

¿Cuál es la menor función del cálculo de la lambda que genera todas las funciones de cálculo de la lambda?

Abierta
Preguntado el 3 de Junio, 2012 por jcoby
Etiquetas :
Imagen de perfil de Brian

10

1Resp
294Vistas

Demostrando que $\Omega = (\lambda x.xx)(\lambda x.xx)$ no es tipificable en el cálculo simplemente mecanografiado de la lambda

Resuelta
Preguntado el 1 de Junio, 2014 por Brian
Etiquetas :
Foto de perfil de dave

38

3Resp
1470Vistas

Operaciones lambda en grupos de esferas homotopicas estables

Resuelta
Preguntado el 4 de Noviembre, 2012 por dave
Etiquetas :
Imagen de perfil de Jacob Denson

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
Etiquetas :
Imagen de perfil de LgScr

1

1Resp
70Vistas

Representabilidad lambda para la función booleana

Resuelta
Preguntado el 11 de Junio, 2021 por LgScr
Etiquetas :
Imagen de perfil de doekman

14

1Resp
1178Vistas

El poder de los cálculos lambda

Resuelta
Preguntado el 28 de Septiembre, 2010 por doekman
Etiquetas :
Imagen de perfil de flojdek

11

4Resp
426Vistas

Cómo o por qué intutionistic la lógica de la prueba de negaciones desde dentro de la teoría, de manera constructiva?

Resuelta
Preguntado el 14 de Diciembre, 2013 por flojdek
Etiquetas :
Imagen de perfil de Kolmin

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
Etiquetas :
Foto de perfil de Anonymous

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
Etiquetas :
Foto de perfil de Noa

51

2Resp
5301Vistas

¿Por qué isn ' notación de lambda t popular entre los matemáticos?

Resuelta
Preguntado el 12 de Julio, 2017 por Noa
Etiquetas :
Imagen de perfil de stefanosn

21

1Resp
173Vistas

¿Qué rompe la completitud de Turing del cálculo lambda simplemente tipado?

Resuelta
Preguntado el 9 de Junio, 2015 por stefanosn
Etiquetas :
Imagen de perfil de Q the Platypus

6

2Resp
124Vistas

En los sistemas de cableado ¿las definiciones crean nuevas leyes de reescritura o un alias? ¿Y esta es una pregunta significativa?

Resuelta
Preguntado el 13 de Agosto, 2018 por Q the Platypus
Etiquetas :
Imagen de perfil de CocoaPriest

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
Etiquetas :
Foto de perfil de ksaunam

8

2Resp
1421Vistas

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

Resuelta
Preguntado el 7 de Junio, 2015 por ksaunam
Etiquetas :
Foto de perfil de doekman

132

5Resp
11677Vistas

El Aprendizaje De Cálculo Lambda

Abierta
Preguntado el 28 de Julio, 2010 por doekman
Etiquetas :
Foto de perfil de Keith

10

4Resp
1031Vistas

Puede dependiente de las sumas que ser codificada como dependiente de productos?

Abierta
Preguntado el 25 de Febrero, 2010 por Keith
Etiquetas :
Imagen de perfil de Kolmin

6

2Resp
140Vistas

Problema con un lema básico en cálculo Lambda

Resuelta
Preguntado el 3 de Marzo, 2018 por Kolmin
Etiquetas :
Foto de perfil de aphorisme

4

1Resp
107Vistas

$\beta$ la desigualdad en $\lambda$-cálculo

Resuelta
Preguntado el 19 de Agosto, 2016 por aphorisme
Etiquetas :
Foto de perfil de Novkovski Stevo Bato

6

2Resp
132Vistas

¿Pueden codificarse todas las operaciones matemáticas con un lenguaje de Turing Complete?

Resuelta
Preguntado el 23 de Mayo, 2018 por Novkovski Stevo Bato
Etiquetas :

Etiquetas mas usadas

i-Ciencias.com

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.

Powered by:

Yandex
X