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...') |
|||
| Línea 7: | Línea 7: | ||
Los ficheros correspondientes son: ([[Media: Expresiones_If_p.hs |Enunciado en Haskell]] y [[Media: Expresiones_If_p.thy |Enunciado en Isabelle/HOL]]). | Los ficheros correspondientes son: ([[Media: Expresiones_If_p.hs |Enunciado en Haskell]] y [[Media: Expresiones_If_p.thy |Enunciado en Isabelle/HOL]]). | ||
| + | |||
| + | Los ficheros con las soluciones (usuario_5.hs y usuario_5.thy) se enviarán a mjoseh@us.es antes del lunes 14 de junio. | ||
Revisión del 09:45 6 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).
Los ficheros con las soluciones (usuario_5.hs y usuario_5.thy) se enviarán a mjoseh@us.es antes del lunes 14 de junio.