Final 18/09/2019 (Paradigmas)

1. V o F. Sea M derivable en calculo lambda.

1. $\forall M\exists V$ tal que $fix\ M\twoheadrightarrow V?$
2. $\forall M\nexists V$ tal que $fix\ M\twoheadrightarrow V?$

2.dos terminos de $\lambda ^{bn}$

1. Decir si existen $M:\sigma ,M':\sigma '$ tales que $M\neq M'$ y $\sigma \neq \sigma '$ pero $W(Erase(M))=W(Erase(M'))$
2. Decir si existen $M:\sigma ,M':\sigma$ tales que $M\neq M'$ y $W(Erase(M))=W(Erase(M'))$

3.Dar la regla de subtipado para el If-Then-Else.

4.Mostrar que pasaba si cambiabas el orden de las reglas de semántica operacional de E-Assign1 y E-Assign2. (Proponian primero reducir la parte derecha de la asignación y luego la izquierda)

5. Prolog. Había un programa simple y una variante con un cut y preguntaba si eran distintas las soluciones en los dos programas con consultas ground.

6. Pregunta de resolución tenias algo asi como {P,P},{-P}. Preguntaba si habia resolvente y si podía resolverse en un sólo paso.

7. Ejercicios de seguimiento clásicos de Smalltalk.