Edición de «Final 08/08/2017 (Paradigmas)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 9: | Línea 9: | ||
# Dado : <math> C1 = \{\lnot P(x) ,\lnot P(a) \} </math> y <math> C2 \{ P(w))\} </math> , indicar verdadero o falso: | # Dado : <math> C1 = \{\lnot P(x) ,\lnot P(a) \} </math> y <math> C2 \{ P(w))\} </math> , indicar verdadero o falso: | ||
## <math> C3 = \{\} </math> es resolvente de C1 y C2. | ## <math> C3 = \{\} </math> es resolvente de C1 y C2. | ||
## C3 puede obtenerse en un único paso de resolución SLD a partir de C1 y C2. (Falso, | ## C3 puede obtenerse en un único paso de resolución SLD a partir de C1 y C2. (Falso, por que SLD resuelve una sóla clasula del goal) | ||
# Explicar qué pasaría si re definimos (S-func) de la siguiente manera: <math> | # Explicar qué pasaría si re definimos (S-func) de la siguiente manera: <math> \frac{\sigma <: \sigma’ \quad \tau <: \tau’
}{\sigma -> \tau <: \sigma’ -> \tau’} </math> | ||
}{\sigma | |||
# Objetos | # Objetos | ||
## Seguimiento. Clase A, m:^1, n:^self m. Clase B n: super n. Clase C, n:^2, Clase D ... | ## Seguimiento. Clase A, m:^1, n:^self m. Clase B n: super n. Clase C, n:^2, Clase D ... | ||
### Indicar objetos y mensajes de: ( ClaseD new ) n | ### Indicar objetos y mensajes de: ( ClaseD new ) n | ||
### Realizar lo mismo, pero agregando a ClaseC new: ^ClaseB new. | ### Realizar lo mismo, pero agregando a ClaseC new: ^ClaseB new. |