Diferencia entre revisiones de «Ejercicio 5»
De Lógica matemática y fundamentos (2012-13)
(Página creada con '== Enunciado == El quinto ejercicio evaluable consiste en realizar dos casos de estudio, las expresiones booleanas y las expresiones condicionales. Concretamente: * Especificac...') |
(Sin diferencias)
|
Revisión del 10:01 5 jun 2013
Enunciado
El quinto ejercicio evaluable consiste en realizar dos casos de estudio, las expresiones booleanas y las expresiones condicionales. Concretamente:
- Especificación en Haskell de las expresiones booleanaas y de las expresiones condicionales. Funciones que transforman una expresión booleana en una expresión condicional normalizada.
- Demostración de la corrección de la función de transformación, usando Isabelle/HOL.
Los ficheros correspondientes son: (Enunciado en Haskell y Enunciado en Isabelle/HOL).