Diferencia entre revisiones de «Final 18/09/2019 (Paradigmas)»
De Cuba-Wiki
(Página creada con «1. Sea M derivable en calculo lambda. # <math>\forall M \exists V </math> tal que <math> fix\ M \twoheadrightarrow V ? </math> # <math>\forall M \nexists V </math>…») |
Sin resumen de edición |
||
Línea 1: | Línea 1: | ||
1. Sea M derivable en calculo lambda. | 1. V o F. Sea M derivable en calculo lambda. | ||
# <math>\forall M \exists V </math> tal que <math> fix\ M \twoheadrightarrow V ? </math> | # <math>\forall M \exists V </math> tal que <math> fix\ M \twoheadrightarrow V ? </math> | ||
# <math>\forall M \nexists V </math> tal que <math> fix\ M \twoheadrightarrow V ? </math> | # <math>\forall M \nexists V </math> tal que <math> fix\ M \twoheadrightarrow V ? </math> |
Revisión actual - 03:35 27 sep 2019
1. V o F. Sea M derivable en calculo lambda.
- tal que
- tal que
2.dos terminos de
- Decir si existen tales que y pero
- Decir si existen tales que y
3.Dar la regla de subtipado para el If-Then-Else.
4.Mostrar que pasaba si cambiabas el orden de las reglas de semántica operacional de E-Assign1 y E-Assign2. (Proponian primero reducir la parte derecha de la asignación y luego la izquierda)
5. Prolog. Había un programa simple y una variante con un cut y preguntaba si eran distintas las soluciones en los dos programas con consultas ground.
6. Pregunta de resolución tenias algo asi como {P,P},{-P}. Preguntaba si habia resolvente y si podía resolverse en un sólo paso.
7. Ejercicios de seguimiento clásicos de Smalltalk.