https://www.glc.us.es/~jalonso/RA2013/index.php?action=history&feed=atom&title=Ejercicios
Ejercicios - Historial de revisiones
2026-07-17T08:31:00Z
Historial de revisiones para esta página en el wiki
MediaWiki 1.31.14
https://www.glc.us.es/~jalonso/RA2013/index.php?title=Ejercicios&diff=686&oldid=prev
WikiSysop en 15:48 16 jul 2018
2018-07-16T15:48:18Z
<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 15:48 16 jul 2018</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Línea 1:</td>
<td colspan="2" class="diff-lineno">Línea 1:</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><del style="font-weight: bold; text-decoration: none;">== Relaciones de ejercicios ==</del></div></td><td colspan="2"> </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><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </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><del style="font-weight: bold; text-decoration: none;">=== Relaciones de ejercicios corregidos ===</del></div></td><td colspan="2"> </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><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </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><del style="font-weight: bold; text-decoration: none;">En esta sección se encuentran las relaciones de ejercicios corregidos en las clases.</del></div></td><td colspan="2"> </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><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </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><del style="font-weight: bold; text-decoration: none;">=== Relaciones de ejercicios propuestos ===</del></div></td><td colspan="2"> </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><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </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>En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.</div></td><td class='diff-marker'> </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>En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.</div></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>* '''Relación 1''': Programación funcional en Isabelle/HOL. ([[R1 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 1 | Solución colaborativa</del>]]).</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>* '''Relación 1''': Programación funcional en Isabelle/HOL. ([[R1 |Enunciado]]).</div></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>* '''Relación 2''': Razonamiento automático sobre programas en Isabelle/HOL. ([[R2 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 2 | Solución colaborativa</del>]]).</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>* '''Relación 2''': Razonamiento automático sobre programas en Isabelle/HOL. ([[R2 |Enunciado]]).</div></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>* '''Relación 3''': Razonamiento estructurado sobre programas en Isabelle/HOL. ([[R3 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 3 | Solución colaborativa</del>]]).</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>* '''Relación 3''': Razonamiento estructurado sobre programas en Isabelle/HOL. ([[R3 |Enunciado]]).</div></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>* '''Relación 4''': Cons inverso. ([[R4 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 4 | Solución colaborativa</del>]]).</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>* '''Relación 4''': Cons inverso. ([[R4 |Enunciado]]).</div></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>* '''Relación 5''': Cuantificadores sobre listas. ([[R5 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 5 | Solución colaborativa</del>]]).</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>* '''Relación 5''': Cuantificadores sobre listas. ([[R5 |Enunciado]]).</div></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>* '''Relación 6''': Sustitución, inversión y eliminación. ([[R6 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 6 | Solución colaborativa</del>]]).</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>* '''Relación 6''': Sustitución, inversión y eliminación. ([[R6 |Enunciado]]).</div></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>* '''Relación 7''': Recorridos de árboles. ([[R7 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 7 | Solución colaborativa</del>]]).</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>* '''Relación 7''': Recorridos de árboles. ([[R7 |Enunciado]]).</div></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>* '''Relación 8''': Árboles binarios completos. ([[R8 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 8 | Solución colaborativa</del>]]).</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>* '''Relación 8''': Árboles binarios completos. ([[R8 |Enunciado]]).</div></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>* '''Relación 9''': Deducción natural proposicional (1). ([[R9 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 9 | Solución colaborativa</del>]]).</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>* '''Relación 9''': Deducción natural proposicional (1). ([[R9 |Enunciado]]).</div></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>* '''Relación 10''': Deducción natural proposicional (2). ([[R10 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 10 | Solución colaborativa</del>]]).</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>* '''Relación 10''': Deducción natural proposicional (2). ([[R10 |Enunciado]]).</div></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>* '''Relación 11''': Deducción natural proposicional de primer orden. ([[R11 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 11 | Solución colaborativa</del>]]).</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>* '''Relación 11''': Deducción natural proposicional de primer orden. ([[R11 |Enunciado]]).</div></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>* '''Relación 12''': Representación de fórmulas proposicionales mediante polinomios. ([[R12 |Enunciado<del class="diffchange diffchange-inline">]] y [[Relación 12 | Solución colaborativa</del>]]).</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>* '''Relación 12''': Representación de fórmulas proposicionales mediante polinomios. ([[R12 |Enunciado]]).</div></td></tr>
</table>
WikiSysop
https://www.glc.us.es/~jalonso/RA2013/index.php?title=Ejercicios&diff=519&oldid=prev
Jalonso: /* Relaciones de ejercicios propuestos */
2014-02-07T04:46:48Z
<p><span dir="auto"><span class="autocomment">Relaciones de ejercicios propuestos</span></span></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 04:46 7 feb 2014</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l19" >Línea 19:</td>
<td colspan="2" class="diff-lineno">Línea 19:</td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 10''': Deducción natural proposicional (2). ([[R10 |Enunciado]] y [[Relación 10 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 10''': Deducción natural proposicional (2). ([[R10 |Enunciado]] y [[Relación 10 | Solución colaborativa]]).</div></td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 11''': Deducción natural proposicional de primer orden. ([[R11 |Enunciado]] y [[Relación 11 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 11''': Deducción natural proposicional de primer orden. ([[R11 |Enunciado]] y [[Relación 11 | Solución colaborativa]]).</div></td></tr>
<tr><td colspan="2"> </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;">* '''Relación 12''': Representación de fórmulas proposicionales mediante polinomios. ([[R12 |Enunciado]] y [[Relación 12 | Solución colaborativa]]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/RA2013/index.php?title=Ejercicios&diff=507&oldid=prev
Jalonso: /* Relaciones de ejercicios propuestos */
2014-01-31T17:07:46Z
<p><span dir="auto"><span class="autocomment">Relaciones de ejercicios propuestos</span></span></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 17:07 31 ene 2014</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l18" >Línea 18:</td>
<td colspan="2" class="diff-lineno">Línea 18:</td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 9''': Deducción natural proposicional (1). ([[R9 |Enunciado]] y [[Relación 9 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 9''': Deducción natural proposicional (1). ([[R9 |Enunciado]] y [[Relación 9 | Solución colaborativa]]).</div></td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 10''': Deducción natural proposicional (2). ([[R10 |Enunciado]] y [[Relación 10 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 10''': Deducción natural proposicional (2). ([[R10 |Enunciado]] y [[Relación 10 | Solución colaborativa]]).</div></td></tr>
<tr><td colspan="2"> </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;">* '''Relación 11''': Deducción natural proposicional de primer orden. ([[R11 |Enunciado]] y [[Relación 11 | Solución colaborativa]]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/RA2013/index.php?title=Ejercicios&diff=463&oldid=prev
Jalonso: /* Relaciones de ejercicios propuestos */
2014-01-24T06:01:31Z
<p><span dir="auto"><span class="autocomment">Relaciones de ejercicios propuestos</span></span></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 06:01 24 ene 2014</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l17" >Línea 17:</td>
<td colspan="2" class="diff-lineno">Línea 17:</td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 8''': Árboles binarios completos. ([[R8 |Enunciado]] y [[Relación 8 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 8''': Árboles binarios completos. ([[R8 |Enunciado]] y [[Relación 8 | Solución colaborativa]]).</div></td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 9''': Deducción natural proposicional (1). ([[R9 |Enunciado]] y [[Relación 9 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 9''': Deducción natural proposicional (1). ([[R9 |Enunciado]] y [[Relación 9 | Solución colaborativa]]).</div></td></tr>
<tr><td colspan="2"> </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;">* '''Relación 10''': Deducción natural proposicional (2). ([[R10 |Enunciado]] y [[Relación 10 | Solución colaborativa]]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/RA2013/index.php?title=Ejercicios&diff=419&oldid=prev
Jalonso: /* Relaciones de ejercicios propuestos */
2014-01-16T19:01:27Z
<p><span dir="auto"><span class="autocomment">Relaciones de ejercicios propuestos</span></span></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 19:01 16 ene 2014</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l16" >Línea 16:</td>
<td colspan="2" class="diff-lineno">Línea 16:</td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 7''': Recorridos de árboles. ([[R7 |Enunciado]] y [[Relación 7 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 7''': Recorridos de árboles. ([[R7 |Enunciado]] y [[Relación 7 | Solución colaborativa]]).</div></td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 8''': Árboles binarios completos. ([[R8 |Enunciado]] y [[Relación 8 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 8''': Árboles binarios completos. ([[R8 |Enunciado]] y [[Relación 8 | Solución colaborativa]]).</div></td></tr>
<tr><td colspan="2"> </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;">* '''Relación 9''': Deducción natural proposicional (1). ([[R9 |Enunciado]] y [[Relación 9 | Solución colaborativa]]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/RA2013/index.php?title=Ejercicios&diff=386&oldid=prev
Jalonso: /* Relaciones de ejercicios propuestos */
2014-01-09T11:53:54Z
<p><span dir="auto"><span class="autocomment">Relaciones de ejercicios propuestos</span></span></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:53 9 ene 2014</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l15" >Línea 15:</td>
<td colspan="2" class="diff-lineno">Línea 15:</td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 6''': Sustitución, inversión y eliminación. ([[R6 |Enunciado]] y [[Relación 6 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 6''': Sustitución, inversión y eliminación. ([[R6 |Enunciado]] y [[Relación 6 | Solución colaborativa]]).</div></td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 7''': Recorridos de árboles. ([[R7 |Enunciado]] y [[Relación 7 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 7''': Recorridos de árboles. ([[R7 |Enunciado]] y [[Relación 7 | Solución colaborativa]]).</div></td></tr>
<tr><td colspan="2"> </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;">* '''Relación 8''': Árboles binarios completos. ([[R8 |Enunciado]] y [[Relación 8 | Solución colaborativa]]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/RA2013/index.php?title=Ejercicios&diff=335&oldid=prev
Jalonso: /* Relaciones de ejercicios propuestos */
2013-12-19T06:10:13Z
<p><span dir="auto"><span class="autocomment">Relaciones de ejercicios propuestos</span></span></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 06:10 19 dic 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l14" >Línea 14:</td>
<td colspan="2" class="diff-lineno">Línea 14:</td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 5''': Cuantificadores sobre listas. ([[R5 |Enunciado]] y [[Relación 5 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 5''': Cuantificadores sobre listas. ([[R5 |Enunciado]] y [[Relación 5 | Solución colaborativa]]).</div></td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 6''': Sustitución, inversión y eliminación. ([[R6 |Enunciado]] y [[Relación 6 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 6''': Sustitución, inversión y eliminación. ([[R6 |Enunciado]] y [[Relación 6 | Solución colaborativa]]).</div></td></tr>
<tr><td colspan="2"> </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;">* '''Relación 7''': Recorridos de árboles. ([[R7 |Enunciado]] y [[Relación 7 | Solución colaborativa]]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/RA2013/index.php?title=Ejercicios&diff=275&oldid=prev
Jalonso: /* Relaciones de ejercicios propuestos */
2013-12-11T21:25:12Z
<p><span dir="auto"><span class="autocomment">Relaciones de ejercicios propuestos</span></span></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 21:25 11 dic 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l13" >Línea 13:</td>
<td colspan="2" class="diff-lineno">Línea 13:</td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 4''': Cons inverso. ([[R4 |Enunciado]] y [[Relación 4 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 4''': Cons inverso. ([[R4 |Enunciado]] y [[Relación 4 | Solución colaborativa]]).</div></td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 5''': Cuantificadores sobre listas. ([[R5 |Enunciado]] y [[Relación 5 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 5''': Cuantificadores sobre listas. ([[R5 |Enunciado]] y [[Relación 5 | Solución colaborativa]]).</div></td></tr>
<tr><td colspan="2"> </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;">* '''Relación 6''': Sustitución, inversión y eliminación. ([[R6 |Enunciado]] y [[Relación 6 | Solución colaborativa]]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/RA2013/index.php?title=Ejercicios&diff=211&oldid=prev
Jalonso en 06:27 6 dic 2013
2013-12-06T06:27:33Z
<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 06:27 6 dic 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l12" >Línea 12:</td>
<td colspan="2" class="diff-lineno">Línea 12:</td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 3''': Razonamiento estructurado sobre programas en Isabelle/HOL. ([[R3 |Enunciado]] y [[Relación 3 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 3''': Razonamiento estructurado sobre programas en Isabelle/HOL. ([[R3 |Enunciado]] y [[Relación 3 | Solución colaborativa]]).</div></td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 4''': Cons inverso. ([[R4 |Enunciado]] y [[Relación 4 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 4''': Cons inverso. ([[R4 |Enunciado]] y [[Relación 4 | Solución colaborativa]]).</div></td></tr>
<tr><td colspan="2"> </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;">* '''Relación 5''': Cuantificadores sobre listas. ([[R5 |Enunciado]] y [[Relación 5 | Solución colaborativa]]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/RA2013/index.php?title=Ejercicios&diff=196&oldid=prev
Jalonso: /* Relaciones de ejercicios propuestos */
2013-11-28T18:34:42Z
<p><span dir="auto"><span class="autocomment">Relaciones de ejercicios propuestos</span></span></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 18:34 28 nov 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l12" >Línea 12:</td>
<td colspan="2" class="diff-lineno">Línea 12:</td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 3''': Razonamiento estructurado sobre programas en Isabelle/HOL. ([[R3 |Enunciado]] y [[Relación 3 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 3''': Razonamiento estructurado sobre programas en Isabelle/HOL. ([[R3 |Enunciado]] y [[Relación 3 | Solución colaborativa]]).</div></td></tr>
<tr><td class='diff-marker'> </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>* '''Relación 4''': Cons inverso. ([[R4 |Enunciado]] y [[Relación 4 | Solución colaborativa]]).</div></td><td class='diff-marker'> </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>* '''Relación 4''': Cons inverso. ([[R4 |Enunciado]] y [[Relación 4 | Solución colaborativa]]).</div></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><del style="font-weight: bold; text-decoration: none;"><!--</del></div></td><td colspan="2"> </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><del style="font-weight: bold; text-decoration: none;">* '''Relación 5''': Cuantificadores sobre listas. ([[R5 |Enunciado]] y [[Relación 5 | Solución colaborativa]]).</del></div></td><td colspan="2"> </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><del style="font-weight: bold; text-decoration: none;">--></del></div></td><td colspan="2"> </td></tr>
</table>
Jalonso