Diferencia entre revisiones de «Final 25/07/2023 (Paradigmas)»
De Cuba-Wiki
(Página creada con «Buenas recién salí del oral, x si a alguno le sirve, me tomo melgratti Funcional. Me tomo hacer una función que toma dos listas y me devuelva si true o false (acá es el truco de foldr que devuelve una función) y en el medio mini preguntitas de que tipo tiene fold r, la función que usa tmb que tipo… etc.. Cálculo lamsa lo de correctutud progreso y preservación Inferencia me preg como el la función de inferencia, y qué pasa si tengo w(x) = {x:May} - x : na…») |
Sin resumen de edición |
||
| Línea 1: | Línea 1: | ||
Buenas recién salí del oral, x si a alguno le sirve, me tomo melgratti | Buenas recién salí del oral, x si a alguno le sirve, me tomo melgratti | ||
Funcional | |||
Cálculo | - Funcional: Me tomo hacer una función que toma dos listas y me devuelva si true o false (acá es el truco de foldr que devuelve una función) y en el medio mini preguntitas de que tipo tiene foldr, la función que usa tmb que tipo… etc. | ||
Inferencia me preg como el la función de inferencia, y qué pasa si tengo w(x) = {x:May} - x : nat está bien? | |||
- Cálculo lambda: lo de correctitud, progreso y preservación. | |||
- Inferencia me preg como el 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. | 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 me preg xq es completa (xq usa cláusula de horn) | - Prog lógica, dif entre prop y PO en la regla de resolución. | ||
Que usa prolog y un ejercicio de prolog y hacer su árbol | |||
- SLD me preg xq es completa (xq usa cláusula de horn). Que usa prolog y un ejercicio de prolog y hacer su árbol. | |||
Revisión del 21:39 12 feb 2024
Buenas recién salí del oral, x si a alguno le sirve, me tomo melgratti
- Funcional: Me tomo hacer una función que toma dos listas y me devuelva si true o false (acá es el truco de foldr que devuelve una función) y en el medio mini preguntitas de que tipo tiene foldr, la función que usa tmb que tipo… etc.
- Cálculo lambda: lo de correctitud, progreso y preservación.
- Inferencia me preg como el 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 me preg xq es completa (xq usa cláusula de horn). Que usa prolog y un ejercicio de prolog y hacer su árbol.
