Ejercicio 5
De Lógica matemática y fundamentos (2012-13)
Revisión del 10:01 5 jun 2013 de Mjoseh (discusión | contribuciones) (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...')
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).