Historial de revisiones de «Final 22/12/2023 (Paradigmas)»

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.

12 feb 2024

20 ene 2024

17 ene 2024

  • actant 14:3314:33 17 ene 2024‎ 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión‎ 1267 bytes +1267‎ Página creada con «Ejercicio 1: Te daba dos fórmulas de primer orden y tenias que probar si eran válidas o no. A) \forAll x \Exist y : x + y = x B) (\Exist x (P(x))) v (\Exist x (P(~x))) Ejercicio 2: Define la descomposición en 1 paso de una lista en Prolog. Ejemplo: [2,*3*,1] -> [2, * 2, 1,* 1] Osea, cambia un elemento por dos elementos que sumen el elemento original. Tiene que cumplirse que ambos sean mayores o iguales a uno. Define la descomposición en N pasos que es lo qu…»
Obtenido de «https://www.cubawiki.com.ar/index.php/Final_22/12/2023_(Paradigmas)»