Final 23/02/2023 (Paradigmas)

- Haskell

   - Decime como calculo el espejo de un arbol.
   - Decime como verifico que dos arboles sean espejos entre si

- Calculo Lambda

   - Explicar correctitud

- Inferencia de tipos

   - Explicar el algoritmo de unificacion. Occurs check.
   - Definir el problema de inferencia

- Calculo Sigma

   - Explicar como se puede definir una funcion.
   - Explicar como me doy cuenta que un termino se indefine.
   - Explicar la diferencia entre la semantica operacional del calculo sigma vs calculo lambda

- Programacion logica

   - Explicar Resolucion Lineal, SLD
   - Operador cut

---

Funcional ¿Cómo busco un elemento en un árbol binario de búsqueda sin recursión explícita? Escribir el tipo de dato árbol binario y el tipo del fold.

Cálculo λ ¿Qué significa M {x <- N}? ¿A qué deriva (λx:ρ.y) {x <- y}? ¿A qué deriva (λx:ρ.y) {y <- x}?

Subtipado ¿Para qué quiero usar subtipado? ¿Cómo es la regla de subsumption? ¿Qué problema trae esta regla? ¿Cómo lo arreglo? Si tengo cálculo λ extendido con booleanos y naturales, ¿necesito algo más? (Preguntaba por isZero, pred, succ) Ejemplificar.

Lógico ¿Cómo funciona la resolución SLD? ¿Es lineal? ¿Usa regla de resolución binaria? ¿Por qué no puedo usar regla de resolución binaria en la resolución para Lógica de Primer Orden?

Objetos ¿Cómo se implementan las funciones en cálculo ς? ¿Qué truquito se usa? (Después de dar vueltas entendí que lo que preguntaba era por usar ς(x) x.arg dentro de la definición de val)

---

Funcional: Una función que devuelva una lista de los elementos de un arbolbinario inorder Una función que devuelva true si cada raiz de (sub)arbol es el mayor elemento de su (sub)arbol y por si puedo hacer esta ultima con foldAB (la hice con recAB yo)

Lambda: Que significa subtipado. Por que no vale Sigma -> Tau <: {l: Sigma -> Tau}

Inferencia: Para que se usa y que me devuelve. Por que seria eso general y el tipado de M original una instancia. Como lo transformo en el de M original.

Logica: Como skolmeizar y para que sirve. Que es resolución lineal Como usar el cut, que es y que ramas corta.

Objetos: Como funcionan las clases