Final 19/09/2017 (Paradigmas)

De Cuba-Wiki
Revisión del 21:28 12 dic 2018 de 157.92.37.1 (discusión)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

1. Dado

    1. Existe tal que
    2. Existe tal que

2. Pregunta de subtipado que no recuerdo bien. Tenía dos clases (una era subclase de la otra), y pregunta si puedo usar un supertipo de uno de los parámetros de la función de la superclase en una función sobreescrita por la subclase. Pregunta similar pero con ref (siendo este un atributo de la subclase)
3. Prolog.

p(1).
p(2).
q(X) :- p(X), not(q(X)).
q(X) :- p(X).
a) Que devuelve q(W)?
b) Que sucede si intercambio las ultimas dos lineas del programa?
c) Que sucede si cambio la tercer linea por q(X) :- not(p(X)), q(X). ?

4. Pregunta de resolución cuya fórmula no recuerdo. Preguntaba si podía resolverse en un sólo paso.
5. Ejercicios de seguimiento clásicos de Smalltalk.