Historial de revisiones de «Enunciado-Final-PLP-16-12-24»

De Cuba-Wiki

Selección de diferencias: marca los botones correspondientes a las versiones a comparar y pulsa Intro o el botón de abajo.
Leyenda: (act) = diferencias con la versión actual, (ant) = diferencias con la versión anterior, m = edición menor.

16 dic 2024

  • actant 23:4023:40 16 dic 2024‎ Lain discusión contribs.‎ 3042 bytes +3042‎ 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…»
Obtenido de «https://www.cubawiki.com.ar/index.php/Enunciado-Final-PLP-16-12-24»