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