Diferencia entre revisiones de «Final 25/07/2023 (Paradigmas)»

De Cuba-Wiki
Sin resumen de edición
Sin resumen de edición
 
(No se muestra una edición intermedia del mismo usuario)
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:May} - x : nat ¿Está bien? Y no, xq siempre nos devuelve el más general entonces sería s, no nat.
  - Inferencia: me preguntó como es la función de inferencia, y qué pasa si tengo w(x) = {x:Nat} - 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.
  - Programación 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.
  - 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 actual - 21:44 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 preguntó como es la función de inferencia, y qué pasa si tengo w(x) = {x:Nat} - x : nat ¿Está bien? Y no, xq siempre nos devuelve el más general entonces sería s, no nat.
- Programación 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.