Final 13/07/2020 (Paradigmas)

De cálculo lambda: Definir con fix la función 'esPar'
De cálculo lambda: Que problema hay con definir la regla de semántica de "fix f -> f fix f" (lease f como un lambda)
Qué relación hay entre el juicio de tipado de un término M, y el juicio de tipado producto de hacer W(Erase(M)))
De regla de inferencia: Encontrar un término M que al hacer W(Erase(M)), te queda un término distinto sintácticamente a M, pero del mismo tipo
De lógica: Un arbolito SLD con cuts y me preguntó qué ramas visitaba y que no.
De lógica: not(P(X)), cuando falla, cuando no. Si el árbol de resolución es infinito, ¿qué pasa?
De cálculo de objetos: ¿Puede haber recursión infinita? Dar un ejemplo.

Anónimo