Edición de «Final 25/07/2023 (Paradigmas)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 5: | Línea 5: | ||
- Cálculo lambda: lo de correctitud, progreso y preservación. | - Cálculo lambda: lo de correctitud, progreso y preservación. | ||
- Inferencia: me preguntó como es la función de inferencia, y qué pasa si tengo w(x) = {x: | - Inferencia: me preguntó como es la función de inferencia, y qué pasa si tengo w(x) = {x:May} - x : nat ¿Está bien? Y no, xq siempre nos devuelve el más general entonces sería s, no nat. | ||
- | - Prog lógica, dif entre prop y PO en la regla de resolución. | ||
- SLD | - SLD me preg xq es completa (xq usa cláusula de horn). Que usa prolog y un ejercicio de prolog y hacer su árbol. |