Todos los registros públicos
De Cuba-Wiki
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.
- 23:40 16 dic 2024 Lain discusión contribs. creó la página Enunciado-Final-PLP-16-12-24 (Página creada con «1. Se da 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…»)