Diferencia entre revisiones de «Final 08/03/2023 (Paradigmas)»
De Cuba-Wiki
(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…») |
(Sin diferencias)
|
Revisión actual - 14:49 17 ene 2024
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 evidencia en cada uno que un término no está bien definido