Diferencia entre revisiones de «Final 26/03/2016 (Paradigmas)»
De Cuba-Wiki
(Final) |
(Sin diferencias)
|
Revisión actual - 20:32 8 mar 2016
1) sea f a b = (b:(-a))b . Que representa fix f 1
2) uno que te daba unos tipos y tenias q dar las reglas semanticas
3) inferir el tipo de f g (f g) (o algo asi)
4) Te daba un programa en prolog y tenias que hacer el arbol. El programa tenia un NOT
5) Verdadero y Falso sobre resolucion (en particular skolenizacion)
6) Un seguimiento de smalltalk
