Todos los registros públicos

Vista combinada de todos los registros de Cuba-Wiki. Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 19:08 16 dic 2024 Lain discusión contribs. creó la página Enunciado (Página creada con «1. Se dan una estructura Dato a b = C1 | C2 a | C3 b (Dato a b) (Dato a b). Definir recursión primitiva, recursión estructural en base a la recursión primitiva, y después una función Split que tome un Dato a b y devuelva dos listas, una con los a y otra con los b, usando el fold o rec. 2. Se toma una extensión del cálculo lambda λ*. Se le agrega ∅ |- M : σ. El operador -->* indica la clausura transitivo-reflexiva de la reducción. Verdadero o falso: a. Si…»)