https://www.glc.us.es/~jalonso/LMF2013/index.php?action=history&feed=atom&title=Ejercicio_5 2026-07-18T14:24:49Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/LMF2013/index.php?title=Ejercicio_5&diff=554&oldid=prev 2013-06-10T11:22:38Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="es"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 11:22 10 jun 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8" >Línea 8:</td> <td colspan="2" class="diff-lineno">Línea 8:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Los ficheros correspondientes son: ([[Media: Expresiones_If_p.hs |Enunciado en Haskell]] y [[Media: Expresiones_If_p.thy |Enunciado en Isabelle/HOL]]).</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Los ficheros correspondientes son: ([[Media: Expresiones_If_p.hs |Enunciado en Haskell]] y [[Media: Expresiones_If_p.thy |Enunciado en Isabelle/HOL]]).</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Los ficheros con las soluciones (usuario_5.hs y usuario_5.thy) se enviarán a mjoseh@us.es antes del lunes <del class="diffchange diffchange-inline">14 </del>de junio.</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Los ficheros con las soluciones (usuario_5.hs y usuario_5.thy) se enviarán a mjoseh@us.es antes del lunes <ins class="diffchange diffchange-inline">17 </ins>de junio.</div></td></tr> </table>

Mjoseh https://www.glc.us.es/~jalonso/LMF2013/index.php?title=Ejercicio_5&diff=553&oldid=prev 2013-06-06T07:45:53Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="es"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 07:45 6 jun 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l7" >Línea 7:</td> <td colspan="2" class="diff-lineno">Línea 7:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Los ficheros correspondientes son: ([[Media: Expresiones_If_p.hs |Enunciado en Haskell]] y [[Media: Expresiones_If_p.thy |Enunciado en Isabelle/HOL]]).</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Los ficheros correspondientes son: ([[Media: Expresiones_If_p.hs |Enunciado en Haskell]] y [[Media: Expresiones_If_p.thy |Enunciado en Isabelle/HOL]]).</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">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.</ins></div></td></tr> </table>

Mjoseh https://www.glc.us.es/~jalonso/LMF2013/index.php?title=Ejercicio_5&diff=550&oldid=prev 2013-06-05T08:01:32Z

<p>Página creada con &#039;== Enunciado == El quinto ejercicio evaluable consiste en realizar dos casos de estudio, las expresiones booleanas y las expresiones condicionales. Concretamente: * Especificac...&#039;</p> <p><b>Página nueva</b></p><div>== Enunciado ==<br /> El quinto ejercicio evaluable consiste en realizar dos casos de estudio, las expresiones booleanas y las expresiones condicionales. Concretamente:<br /> <br /> * 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.<br /> <br /> * Demostración de la corrección de la función de transformación, usando Isabelle/HOL.<br /> <br /> Los ficheros correspondientes son: ([[Media: Expresiones_If_p.hs |Enunciado en Haskell]] y [[Media: Expresiones_If_p.thy |Enunciado en Isabelle/HOL]]).</div>

Mjoseh