Diferencia entre revisiones de «Final 03/08/2020 (Paradigmas)»
De Cuba-Wiki
(Página creada con «== 03/08/2020 - Melgratti/Garbervetsky - Virtual == # Diferencia entre la regla de resolución de lógica proposicional y de lógica de primer orden. # Arbolito SLD y que…») |
|||
Línea 1: | Línea 1: | ||
# Diferencia entre la regla de resolución de lógica proposicional y de lógica de primer orden. | # Diferencia entre la regla de resolución de lógica proposicional y de lógica de primer orden. | ||
# Arbolito SLD y que ramas no se recorrían con un cut (es el arbolito que está como ejemplo de cut de SLD) | # Arbolito SLD y que ramas no se recorrían con un cut (es el arbolito que está como ejemplo de cut de SLD) |
Revisión del 17:14 1 oct 2020
- Diferencia entre la regla de resolución de lógica proposicional y de lógica de primer orden.
- Arbolito SLD y que ramas no se recorrían con un cut (es el arbolito que está como ejemplo de cut de SLD)
- Qué pasa con not(not(p(X))?
- Si definieras elem :: a -> [a] -> bool con fix, como un fix M, que tipo tiene M ?
- Un seguimiento con clases C1,C2,C3,C4 donde le mandas un mensaje a C4:
- Que es que con subtipado algo sea covariante
- Ref que es? covariante? contravariante?
- Que pierdes al agregar referencias a un cálculo lambda normalito (con bool y nat ponele)
- Pregunta compuesta:
- Si tenés cálculo lambda de bool y naturales, sin el fix, podés tener recursión?
- Si agregás referencias pero no agregas el fix, podes tener recursión?
- Qué es método dispatch estatico vs. dinamico.
- Para que se quiere subtipado