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

17 ene 2024

  • actant 14:4914:49 17 ene 2024‎ 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión‎ 531 bytes +531‎ Página creada con «Funcional: Dado un árbol binario decidir si es un ABB Lambda cálculo: Explicar progreso+preservación Inferencia: Qué hace el algoritmo W, qué toma como input y qué devuelve Lógica: Por qué no se puede usar resolución binaria en primer orden, por qué está todo bien con usarla en resolución SLD Si el árbol de prolog es siempre igual al SLD Objetos: Clases en sigma cálculo Diferencias en la semántica entre sigma cálculo y lambda cálculo, cómo se e…»
Obtenido de «https://www.cubawiki.com.ar/index.php/Final_08/03/2023_(Paradigmas)»