Preguntas ciencias de lambda02

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

5

1Resp

114Vistas

Beta reducción de la expresión

Resuelta

Preguntado el 5 de Noviembre, 2018 por Electric

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

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

4

1Resp

107Vistas

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

Resuelta

Preguntado el 19 de Agosto, 2016 por aphorisme

5

1Resp

147Vistas

¿Existe una notación estándar para el operador de precomposición?

Resuelta

Preguntado el 22 de Junio, 2018 por Evan Aad

21

1Resp

172Vistas

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

Resuelta

Preguntado el 9 de Junio, 2015 por stefanosn

9

1Resp

1084Vistas

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

Resuelta

Preguntado el 6 de Diciembre, 2013 por Yohann

6

2Resp

140Vistas

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

Resuelta

Preguntado el 3 de Marzo, 2018 por Kolmin

15

1Resp

636Vistas

cálculo lambda y la categoría de la teoría

Resuelta

Preguntado el 2 de Diciembre, 2013 por renegade

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

7

2Resp

258Vistas

¿Cómo se relaciona la lógica de segundo orden cálculo lambda?

Abierta

Preguntado el 18 de Febrero, 2013 por hwe

51

2Resp

5300Vistas

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

Resuelta

Preguntado el 12 de Julio, 2017 por Noa

6

2Resp

743Vistas

¿Es esta fórmula realmente los nueve axiomas?

Resuelta

Preguntado el 11 de Enero, 2012 por Blessed Geek

7

1Resp

818Vistas

Máquina de Krivine

Abierta

Preguntado el 9 de Noviembre, 2012 por Skip Huffman

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

7

1Resp

1088Vistas

Scott en la consistencia del cálculo lambda

Resuelta

Preguntado el 1 de Marzo, 2010 por David Sykes

10

4Resp

1031Vistas

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

Abierta

Preguntado el 25 de Febrero, 2010 por Keith

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

18

4Resp

1099Vistas

Las "funciones" de tipo lambda cálculo no son (conjunto teórico) funciona así, cuáles son?

Resuelta

Preguntado el 7 de Octubre, 2016 por Q the Platypus

11

4Resp

756Vistas

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

9

1Resp

242Vistas

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

Abierta

Preguntado el 24 de Junio, 2014 por dtldarek

38

1Resp

3151Vistas

¿Cuál es el punto de eta-la conversión en cálculo lambda?

Resuelta

Preguntado el 18 de Septiembre, 2011 por Groxx

36

3Resp

2413Vistas

¿Puede alguien explicar el Y Combinator?

Resuelta

Preguntado el 13 de Julio, 2011 por Knox

14

5Resp

2486Vistas

¿Con qué está relacionado el cálculo lambda?

Resuelta

Preguntado el 18 de Octubre, 2009 por Nick Meyer

14

1Resp

1178Vistas

El poder de los cálculos lambda

Resuelta

Preguntado el 28 de Septiembre, 2010 por doekman

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

47

4Resp

2101Vistas

¿Por qué el cálculo lambda lleva el nombre de esa letra griega concreta? ¿Por qué no "cálculo rho", por ejemplo?

Resuelta

Preguntado el 14 de Septiembre, 2011 por Cory Engebretson

132

5Resp

11677Vistas

El Aprendizaje De Cálculo Lambda

Abierta

Preguntado el 28 de Julio, 2010 por doekman

Preguntas ciencias lambda

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

Beta reducción de la expresión

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

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

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

¿Existe una notación estándar para el operador de precomposición?

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

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

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

cálculo lambda y la categoría de la teoría

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

¿Cómo se relaciona la lógica de segundo orden cálculo lambda?

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

¿Es esta fórmula realmente los nueve axiomas?

Máquina de Krivine

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

Scott en la consistencia del cálculo lambda

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

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

Las "funciones" de tipo lambda cálculo no son (conjunto teórico) funciona así, cuáles son?

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

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

¿Cuál es el punto de eta-la conversión en cálculo lambda?

¿Puede alguien explicar el Y Combinator?

¿Con qué está relacionado el cálculo lambda?

El poder de los cálculos lambda

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

¿Por qué el cálculo lambda lleva el nombre de esa letra griega concreta? ¿Por qué no "cálculo rho", por ejemplo?

El Aprendizaje De Cálculo Lambda

Etiquetas mas usadas

i-Ciencias.com

Powered by: