Final 26/03/2016 (Paradigmas)

De Cuba-Wiki
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

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