Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.
Actualmente estoy escribiendo una función para substitución (Cálculo Lambda) basada en Haskell. data Term = Var String | Application Term Term | Lambda String Term La función recibe un Term t1, un String s y un Term t2. La función debe reemplazar cada ocurrencia de s en t1 con t2. . . . Read more
Dada la siguiente definición de un Término: data Term = Var String | Application Term Term | Lambda String Term ¿Cómo puedo extraer las variables libres del término en una lista? Estoy trabajando con esta definición para la expresión: findVariables :: Term -> [String] Hasta ahora tengo esto: findVariables (Lambda . . . Read more
Estoy intentando determinar el rango de una función, en este caso de un polinomio. Mi programa ya utiliza muchas funciones de SymPy, así que pensé que podría utilizar la función function_range del módulo sympy.calculus.util. Para el polinomio 1/2*x**4-2*x**2-1/4*x sobre el dominio R, no funciona y muestra este error: >>> from . . . Read more
Necesito implementar el siguiente algoritmo para convertir Cálculo Lambda en Lógica Combinatoria. Las reglas son de https://en.wikipedia.org/wiki/Combinatorylogic#CompletenessoftheS-K_basis T[x] => x T[(E₁ E₂)] => (T[E₁] T[E₂]) T[λx.E] => (K T[E]) (si x no aparece libre en E) T[λx.x] => I T[λx.λy.E] => T[λx.T[λy.E]] (si x aparece libre en E) T[λx.(E₁ E₂)] . . . Read more
Soy nuevo en el estudio del Cálculo Lambda como parte de mi carrera de Ciencias de la Computación. En el material del curso (¡esto no es una tarea calificada, así que no se preocupen!) surgió la siguiente reducción beta: λx.xx → λx.x(x) → λx.x(x(x)) → λx.x(x(x(x))) Estoy un poco confundido, . . . Read more