Historial de revisiones de «Final 02/08/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

17 ene 2024

  • actant 14:4414:44 17 ene 2024‎ 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión‎ 1423 bytes +1423‎ Página creada con «1) agarra la regla de occur check y la cambia para que en vez de fallar, no hace nada y elimina la ecuación a. Encontrar un problema de unificación donde dependiendo del orden de elección, falle o no falle b. Idem pero dependiendo del orden de sustituciones distintas c. Encontrar un conjunto de clausulas satisfactible desde el cual se pueda llegar a la clausula vacía con esta modificación del algoritmo de mgu 2) dar la lista de todos los predicados sobre naturale…»
Obtenido de «https://www.cubawiki.com.ar/index.php/Final_02/08/2023_(Paradigmas)»