Diferencia entre revisiones de «Final 01/08/2017 (Paradigmas)»

De Cuba-Wiki
m (Arregla math de ejercicio 5)
m (Corrijo enunciado 4)
 
Línea 9: Línea 9:
# Verdadero o falso:
# Verdadero o falso:
## <math> \{P(x, y)\} </math> y <math>  \{\lnot P(y, f(y))\} </math> no unifican
## <math> \{P(x, y)\} </math> y <math>  \{\lnot P(y, f(y))\} </math> no unifican
## La Forma Normal de Skolem de <math> \forall x \forall y \exists z (P(x, z) \land  \lnot P(y, z)) </math> es <math> \forall x \forall y \exists z(P(x, f(x)) \land \lnot P(y, f(y))) </math>
## La Forma Normal de Skolem de <math> \forall x \forall y \exists z (P(x, z) \land  \lnot P(y, z)) </math> es <math> \forall x \forall y (P(x, f(x)) \land \lnot P(y, f(y))) </math>
## La Forma Normal de Skolem de <math> \forall x \forall y ((\exists z P(x, z)) \land (\exists z \lnot P(y, z))) </math> es <math> \forall x \forall y(P(x, f(x)) \land \lnot P(y, f(y)))</math>
## La Forma Normal de Skolem de <math> \forall x \forall y ((\exists z P(x, z)) \land (\exists z \lnot P(y, z))) </math> es <math> \forall x \forall y(P(x, f(x)) \land \lnot P(y, f(y)))</math>
# Explicar qué pasaría si re definimos (S-func) de la siguiente manera: <math> \frac{\sigma' <: \sigma \quad \tau' <: \tau}{\sigma \rightarrow \tau <: \sigma' \rightarrow \tau'} </math>
# Explicar qué pasaría si re definimos (S-func) de la siguiente manera: <math> \frac{\sigma' <: \sigma \quad \tau' <: \tau}{\sigma \rightarrow \tau <: \sigma' \rightarrow \tau'} </math>

Revisión actual - 20:28 24 sep 2020

  1. Dado f x = x (f x) en haskell
    1. ¿Cuál es el resultado de hacer f (\x -> 1 : x)?
    2. ¿Qué representa la función f?
  2. Dados los términos: y ¿El algoritmo de inferencia da el mismo resultado para ambos?.
  3. Se tiene el siguiente programa en Prolog: P(X) :- Q(X), R(X), !, S(X), P2(X) :- Q(X), !, R(X), S(X), para cualquier Q(X), R(X), S(X) (es posible definir los que se requieran).
    1. ¿Los resultados de P(X) están contenidos en los de P2(X)?
    2. ¿Los resultados de P2(X) están contenidos en los de P(X)?
    3. ¿Qué pasa ahora si tenemos P3(X) :- Q(X), !, R(X), !, S(X)? (Cómo se comporta en comparación a P y P2)
  4. Verdadero o falso:
    1. y no unifican
    2. La Forma Normal de Skolem de es
    3. La Forma Normal de Skolem de es
  5. Explicar qué pasaría si re definimos (S-func) de la siguiente manera:
  6. Objetos
    1. ¿Cuál es la diferencia entre self y super?
    2. Seguimiento.