https://www.glc.us.es/~jalonso/DAO/index.php?action=history&feed=atom&title=Ejercicios_RA2013
Ejercicios RA2013 - Historial de revisiones
2026-09-19T06:39:04Z
Historial de revisiones para esta página en el wiki
MediaWiki 1.31.14
https://www.glc.us.es/~jalonso/DAO/index.php?title=Ejercicios_RA2013&diff=196&oldid=prev
Jalonso: /* Ejercicios de Demostración asistida por ordenador */
2018-07-15T12:14:22Z
<p><span dir="auto"><span class="autocomment">Ejercicios de Demostración asistida por ordenador</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 12:14 15 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="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>== Ejercicios de ''Demostración asistida por ordenador'' ==</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>== Ejercicios de ''Demostración asistida por ordenador'' ==</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>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''': Deducción natural en lógica proposicional con Isabelle/HOL. ([[RA12_Relación_1 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Deducción natural en lógica proposicional con Isabelle/HOL. ([[RA12_Relación_1 |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''': Argumentación proposicional con Isabelle/HOL. ([[RA12_Relación_2 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Argumentación proposicional con Isabelle/HOL. ([[RA12_Relación_2 |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''': Eliminación de conectivas. ([[RA12_Relación_3 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Eliminación de conectivas. ([[RA12_Relación_3 |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''': Deducción natural en lógica de primer con Isabelle/HOL. ([[RA12_Relación_4 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Deducción natural en lógica de primer con Isabelle/HOL. ([[RA12_Relación_4 |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''': Argumentación en lógica de primer con Isabelle/HOL. ([[RA12_Relación_5 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Argumentación en lógica de primer con Isabelle/HOL. ([[RA12_Relación_5 |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''': Argumentación en lógica de primer orden e igualdad con Isabelle/HOL. ([[RA12_Relación_6 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Argumentación en lógica de primer orden e igualdad con Isabelle/HOL. ([[RA12_Relación_6 |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''': Programación funcional en Isabelle/HOL. ([[RA12_Relación_7 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Programación funcional en Isabelle/HOL. ([[RA12_Relación_7 |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''': Razonamiento sobre programas en Isabelle/HOL. ([[RA12_Relación_8 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Razonamiento sobre programas en Isabelle/HOL. ([[RA12_Relación_8 |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''': Cons inverso. ([[RA12_Relación_9 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Cons inverso. ([[RA12_Relación_9 |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''': Cuantificadores sobre listas. ([[RA12_Relación_10 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Cuantificadores sobre listas. ([[RA12_Relación_10 |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''': Sustitución, inversión y eliminación. ([[RA12_Relación_11 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Sustitución, inversión y eliminación. ([[RA12_Relación_11 |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''': Menor posición válida. ([[RA12_Relación_12 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Menor posición válida. ([[RA12_Relación_12 |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 13''': Número de elementos válidos. ([[RA12_Relación_13 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_13 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 13''': Número de elementos válidos. ([[RA12_Relación_13 |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 14''': Contador de occurrencias. ([[RA12_Relación_14 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_14 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 14''': Contador de occurrencias. ([[RA12_Relación_14 |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 15''': Suma y aplanamiento de listas. ([[RA12_Relación_15 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_15 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 15''': Suma y aplanamiento de listas. ([[RA12_Relación_15 |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 16''': Conjuntos mediante listas. ([[RA12_Relación_16 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_16 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 16''': Conjuntos mediante listas. ([[RA12_Relación_16 |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 17''': Ordenación de listas por inserción. ([[RA12_Relación_17 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_17 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 17''': Ordenación de listas por inserción. ([[RA12_Relación_17 |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 18''': Ordenación de listas por mezcla. ([[RA12_Relación_18 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_18 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 18''': Ordenación de listas por mezcla. ([[RA12_Relación_18 |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 19''': Recorridos de árboles. ([[RA12_Relación_19 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_19 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 19''': Recorridos de árboles. ([[RA12_Relación_19 |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 20''': Plegados de listas y de árboles. ([[RA12_Relación_20 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_20 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 20''': Plegados de listas y de árboles. ([[RA12_Relación_20 |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 21''': Árboles binarios completos. ([[RA12_Relación_21 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_21 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 21''': Árboles binarios completos. ([[RA12_Relación_21 |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 22''': Diagramas de decisión binarios. ([[RA12_Relación_22 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_22 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 22''': Diagramas de decisión binarios. ([[RA12_Relación_22 |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 23''': Representación de fórmulas proposicionales mediante polinomios. ([[RA12_Relación_23 |Enunciado]<del class="diffchange diffchange-inline">] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_23 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 23''': Representación de fórmulas proposicionales mediante polinomios. ([[RA12_Relación_23 |Enunciado]]).</div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/DAO/index.php?title=Ejercicios_RA2013&diff=148&oldid=prev
Jalonso: Deshecha la edición 147 de Jalonso (disc.)
2013-10-22T14:53:09Z
<p>Deshecha la edición 147 de <a href="/~jalonso/DAO/index.php/Especial:Contribuciones/Jalonso" title="Especial:Contribuciones/Jalonso">Jalonso</a> (<a href="/~jalonso/DAO/index.php?title=Usuario_discusi%C3%B3n:Jalonso&action=edit&redlink=1" class="new" title="Usuario discusión:Jalonso (la página no existe)">disc.</a>)</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 14:53 22 oct 2013</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>== Ejercicios de ''Razonamiento <del class="diffchange diffchange-inline">automático</del>'' (<del class="diffchange diffchange-inline">2013-</del>14) <del class="diffchange diffchange-inline">==</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>== Ejercicios de ''<ins class="diffchange diffchange-inline">Demostración asistida por ordenador'' ==</ins></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 class="diffchange diffchange-inline">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.</ins></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 class="diffchange diffchange-inline">* '''Relación 1''': Deducción natural en lógica proposicional con Isabelle/HOL. ([[RA12_Relación_1 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_1 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 2''': Argumentación proposicional con Isabelle/HOL. ([[RA12_Relación_2 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_2 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 3''': Eliminación de conectivas. ([[RA12_Relación_3 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_3 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 4''': Deducción natural en lógica de primer con Isabelle/HOL. ([[RA12_Relación_4 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_4 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 5''': Argumentación en lógica de primer con Isabelle/HOL. ([[RA12_Relación_5 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_5 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 6''': Argumentación en lógica de primer orden e igualdad con Isabelle/HOL. ([[RA12_Relación_6 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_6 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 7''': Programación funcional en Isabelle/HOL. ([[RA12_Relación_7 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_7 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 8''': </ins>Razonamiento <ins class="diffchange diffchange-inline">sobre programas en Isabelle/HOL. ([[RA12_Relación_8 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_8 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 9''': Cons inverso. ([[RA12_Relación_9 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_9 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 10''': Cuantificadores sobre listas. ([[RA12_Relación_10 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_10 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 11''': Sustitución, inversión y eliminación. ([[RA12_Relación_11 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_11 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 12''': Menor posición válida. ([[RA12_Relación_12 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_12 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 13</ins>''<ins class="diffchange diffchange-inline">': Número de elementos válidos. </ins>(<ins class="diffchange diffchange-inline">[[RA12_Relación_13 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_13 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación </ins>14<ins class="diffchange diffchange-inline">''': Contador de occurrencias. ([[RA12_Relación_14 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_14 Solución colaborativa]</ins>)<ins class="diffchange diffchange-inline">.</ins></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 class="diffchange diffchange-inline">* '''Relación 15''': Suma y aplanamiento de listas. ([[RA12_Relación_15 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_15 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 16''': Conjuntos mediante listas. ([[RA12_Relación_16 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_16 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 17''': Ordenación de listas por inserción. ([[RA12_Relación_17 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_17 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 18''': Ordenación de listas por mezcla. ([[RA12_Relación_18 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_18 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 19''': Recorridos de árboles. ([[RA12_Relación_19 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_19 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 20''': Plegados de listas y de árboles. ([[RA12_Relación_20 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_20 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 21''': Árboles binarios completos. ([[RA12_Relación_21 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_21 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 22''': Diagramas de decisión binarios. ([[RA12_Relación_22 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_22 Solución colaborativa]).</ins></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 class="diffchange diffchange-inline">* '''Relación 23''': Representación de fórmulas proposicionales mediante polinomios. ([[RA12_Relación_23 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_23 Solución colaborativa]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/DAO/index.php?title=Ejercicios_RA2013&diff=147&oldid=prev
Jalonso: Página reemplazada por '== Ejercicios de ''Razonamiento automático'' (2013-14) =='
2013-10-22T14:51:59Z
<p>Página reemplazada por '== Ejercicios de ''Razonamiento automático'' (2013-14) =='</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 14:51 22 oct 2013</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>== Ejercicios de ''<del class="diffchange diffchange-inline">Demostración asistida por ordenador'' ==</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>== Ejercicios de ''Razonamiento <ins class="diffchange diffchange-inline">automático</ins>'' (<ins class="diffchange diffchange-inline">2013-</ins>14) <ins class="diffchange diffchange-inline">==</ins></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 class="diffchange diffchange-inline">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.</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 class="diffchange diffchange-inline">* '''Relación 1''': Deducción natural en lógica proposicional con Isabelle/HOL. ([[RA12_Relación_1 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_1 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 class="diffchange diffchange-inline">* '''Relación 2''': Argumentación proposicional con Isabelle/HOL. ([[RA12_Relación_2 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_2 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 class="diffchange diffchange-inline">* '''Relación 3''': Eliminación de conectivas. ([[RA12_Relación_3 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_3 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 class="diffchange diffchange-inline">* '''Relación 4''': Deducción natural en lógica de primer con Isabelle/HOL. ([[RA12_Relación_4 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_4 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 class="diffchange diffchange-inline">* '''Relación 5''': Argumentación en lógica de primer con Isabelle/HOL. ([[RA12_Relación_5 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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 class="diffchange diffchange-inline">* '''Relación 6''': Argumentación en lógica de primer orden e igualdad con Isabelle/HOL. ([[RA12_Relación_6 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_6 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 class="diffchange diffchange-inline">* '''Relación 7''': Programación funcional en Isabelle/HOL. ([[RA12_Relación_7 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_7 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 class="diffchange diffchange-inline">* '''Relación 8''': </del>Razonamiento <del class="diffchange diffchange-inline">sobre programas en Isabelle/HOL. ([[RA12_Relación_8 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_8 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 class="diffchange diffchange-inline">* '''Relación 9''': Cons inverso. ([[RA12_Relación_9 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_9 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 class="diffchange diffchange-inline">* '''Relación 10''': Cuantificadores sobre listas. ([[RA12_Relación_10 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_10 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 class="diffchange diffchange-inline">* '''Relación 11''': Sustitución, inversión y eliminación. ([[RA12_Relación_11 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_11 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 class="diffchange diffchange-inline">* '''Relación 12''': Menor posición válida. ([[RA12_Relación_12 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_12 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 class="diffchange diffchange-inline">* '''Relación 13</del>''<del class="diffchange diffchange-inline">': Número de elementos válidos. </del>(<del class="diffchange diffchange-inline">[[RA12_Relación_13 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_13 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 class="diffchange diffchange-inline">* '''Relación </del>14<del class="diffchange diffchange-inline">''': Contador de occurrencias. ([[RA12_Relación_14 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_14 Solución colaborativa]</del>)<del class="diffchange diffchange-inline">.</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 class="diffchange diffchange-inline">* '''Relación 15''': Suma y aplanamiento de listas. ([[RA12_Relación_15 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_15 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 class="diffchange diffchange-inline">* '''Relación 16''': Conjuntos mediante listas. ([[RA12_Relación_16 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_16 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 class="diffchange diffchange-inline">* '''Relación 17''': Ordenación de listas por inserción. ([[RA12_Relación_17 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_17 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 class="diffchange diffchange-inline">* '''Relación 18''': Ordenación de listas por mezcla. ([[RA12_Relación_18 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_18 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 class="diffchange diffchange-inline">* '''Relación 19''': Recorridos de árboles. ([[RA12_Relación_19 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_19 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 class="diffchange diffchange-inline">* '''Relación 20''': Plegados de listas y de árboles. ([[RA12_Relación_20 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_20 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 class="diffchange diffchange-inline">* '''Relación 21''': Árboles binarios completos. ([[RA12_Relación_21 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_21 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 class="diffchange diffchange-inline">* '''Relación 22''': Diagramas de decisión binarios. ([[RA12_Relación_22 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_22 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 class="diffchange diffchange-inline">* '''Relación 23''': Representación de fórmulas proposicionales mediante polinomios. ([[RA12_Relación_23 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_23 Solución colaborativa]).</del></div></td><td colspan="2"> </td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/DAO/index.php?title=Ejercicios_RA2013&diff=145&oldid=prev
Jalonso: Ejercicios trasladada a Ejercicios RA2013
2013-10-22T14:50:19Z
<p><a href="/~jalonso/DAO/index.php/Ejercicios" class="mw-redirect" title="Ejercicios">Ejercicios</a> trasladada a <a href="/~jalonso/DAO/index.php/Ejercicios_RA2013" title="Ejercicios RA2013">Ejercicios RA2013</a></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<tr class="diff-title" lang="es">
<td colspan="1" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="1" style="background-color: #fff; color: #222; text-align: center;">Revisión del 14:50 22 oct 2013</td>
</tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div>
</td></tr></table>
Jalonso
https://www.glc.us.es/~jalonso/DAO/index.php?title=Ejercicios_RA2013&diff=135&oldid=prev
Jalonso: /* Ejercicios de Demostración asistida por ordenador */
2013-06-06T06:16:33Z
<p><span dir="auto"><span class="autocomment">Ejercicios de Demostración asistida por ordenador</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:16 6 jun 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l22" >Línea 22:</td>
<td colspan="2" class="diff-lineno">Línea 22:</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 20''': Plegados de listas y de árboles. ([[RA12_Relación_20 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_20 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 20''': Plegados de listas y de árboles. ([[RA12_Relación_20 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_20 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 21''': Árboles binarios completos. ([[RA12_Relación_21 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_21 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 21''': Árboles binarios completos. ([[RA12_Relación_21 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_21 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 22''': Diagramas de decisión binarios. ([[RA12_Relación_22 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_22 Solución colaborativa]).</ins></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 23''': Representación de fórmulas proposicionales mediante polinomios. ([[RA12_Relación_23 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_23 Solución colaborativa]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/DAO/index.php?title=Ejercicios_RA2013&diff=126&oldid=prev
Jalonso: /* Ejercicios de Demostración asistida por ordenador */
2013-05-23T11:42:36Z
<p><span dir="auto"><span class="autocomment">Ejercicios de Demostración asistida por ordenador</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:42 23 may 2013</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 15''': Suma y aplanamiento de listas. ([[RA12_Relación_15 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_15 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 15''': Suma y aplanamiento de listas. ([[RA12_Relación_15 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_15 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 16''': Conjuntos mediante listas. ([[RA12_Relación_16 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_16 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 16''': Conjuntos mediante listas. ([[RA12_Relación_16 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_16 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>* '''Relación 17''': <del class="diffchange diffchange-inline">Conjuntos mediante </del>listas. ([[RA12_Relación_17 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_17 Solución colaborativa]).</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 17''': <ins class="diffchange diffchange-inline">Ordenación de </ins>listas <ins class="diffchange diffchange-inline">por inserción</ins>. ([[RA12_Relación_17 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_17 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>* '''Relación 18''': <del class="diffchange diffchange-inline">Conjuntos mediante </del>listas. ([[RA12_Relación_18 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_18 Solución colaborativa]).</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 18''': <ins class="diffchange diffchange-inline">Ordenación de </ins>listas <ins class="diffchange diffchange-inline">por mezcla</ins>. ([[RA12_Relación_18 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_18 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>* '''Relación 19''': <del class="diffchange diffchange-inline">Conjuntos mediante listas</del>. ([[RA12_Relación_19 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_19 Solución colaborativa]).</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 19''': <ins class="diffchange diffchange-inline">Recorridos de árboles</ins>. ([[RA12_Relación_19 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_19 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>* '''Relación 20''': <del class="diffchange diffchange-inline">Conjuntos mediante </del>listas. ([[RA12_Relación_20 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_20 Solución colaborativa]).</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 20''': <ins class="diffchange diffchange-inline">Plegados de </ins>listas <ins class="diffchange diffchange-inline">y de árboles</ins>. ([[RA12_Relación_20 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_20 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>* '''Relación 21''': <del class="diffchange diffchange-inline">Conjuntos mediante listas</del>. ([[RA12_Relación_21 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_21 Solución colaborativa]).</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 21''': <ins class="diffchange diffchange-inline">Árboles binarios completos</ins>. ([[RA12_Relación_21 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_21 Solución colaborativa]).</div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/DAO/index.php?title=Ejercicios_RA2013&diff=125&oldid=prev
Jalonso: /* Ejercicios de Demostración asistida por ordenador */
2013-05-23T11:40:31Z
<p><span dir="auto"><span class="autocomment">Ejercicios de Demostración asistida por ordenador</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:40 23 may 2013</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 15''': Suma y aplanamiento de listas. ([[RA12_Relación_15 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_15 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 15''': Suma y aplanamiento de listas. ([[RA12_Relación_15 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_15 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 16''': Conjuntos mediante listas. ([[RA12_Relación_16 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_16 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 16''': Conjuntos mediante listas. ([[RA12_Relación_16 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_16 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 17''': Conjuntos mediante listas. ([[RA12_Relación_17 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_17 Solución colaborativa]).</ins></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 18''': Conjuntos mediante listas. ([[RA12_Relación_18 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_18 Solución colaborativa]).</ins></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 19''': Conjuntos mediante listas. ([[RA12_Relación_19 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_19 Solución colaborativa]).</ins></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 20''': Conjuntos mediante listas. ([[RA12_Relación_20 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_20 Solución colaborativa]).</ins></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 21''': Conjuntos mediante listas. ([[RA12_Relación_21 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_21 Solución colaborativa]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/DAO/index.php?title=Ejercicios_RA2013&diff=120&oldid=prev
Jalonso en 20:48 15 may 2013
2013-05-15T20:48:37Z
<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 20:48 15 may 2013</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 13''': Número de elementos válidos. ([[RA12_Relación_13 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_13 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 13''': Número de elementos válidos. ([[RA12_Relación_13 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_13 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 14''': Contador de occurrencias. ([[RA12_Relación_14 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_14 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 14''': Contador de occurrencias. ([[RA12_Relación_14 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_14 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 15''': Suma y aplanamiento de listas. ([[RA12_Relación_15 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_15 Solución colaborativa]).</ins></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 16''': Conjuntos mediante listas. ([[RA12_Relación_16 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_16 Solución colaborativa]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/DAO/index.php?title=Ejercicios_RA2013&diff=115&oldid=prev
Jalonso: /* Ejercicios de Demostración asistida por ordenador */
2013-05-02T09:14:07Z
<p><span dir="auto"><span class="autocomment">Ejercicios de Demostración asistida por ordenador</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 09:14 2 may 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l11" >Línea 11:</td>
<td colspan="2" class="diff-lineno">Línea 11:</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''': Cons inverso. ([[RA12_Relación_9 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Cons inverso. ([[RA12_Relación_9 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Cuantificadores sobre listas. ([[RA12_Relación_10 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Cuantificadores sobre listas. ([[RA12_Relación_10 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Sustitución, inversión y eliminación. ([[RA12_Relación_11 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_11 Solución colaborativa]).</ins></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''': Menor posición válida. ([[RA12_Relación_12 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_12 Solución colaborativa]).</ins></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 13''': Número de elementos válidos. ([[RA12_Relación_13 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_13 Solución colaborativa]).</ins></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 14''': Contador de occurrencias. ([[RA12_Relación_14 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_14 Solución colaborativa]).</ins></div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/DAO/index.php?title=Ejercicios_RA2013&diff=111&oldid=prev
Jalonso: /* Ejercicios de Demostración asistida por ordenador */
2013-04-25T11:30:40Z
<p><span dir="auto"><span class="autocomment">Ejercicios de Demostración asistida por ordenador</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:30 25 abr 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l9" >Línea 9:</td>
<td colspan="2" class="diff-lineno">Línea 9:</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''': Programación funcional en Isabelle/HOL. ([[RA12_Relación_7 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Programación funcional en Isabelle/HOL. ([[RA12_Relación_7 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Razonamiento sobre programas en Isabelle/HOL. ([[RA12_Relación_8 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Razonamiento sobre programas en Isabelle/HOL. ([[RA12_Relación_8 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_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''': Cons inverso. ([[RA12_Relación_9 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_9 Solución colaborativa]).</ins></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''': Cuantificadores sobre listas. ([[RA12_Relación_10 |Enunciado]] y [http://www.glc.us.es/~jalonso/SolucionesColaborativas/index.php5/RA12_Relación_10 Solución colaborativa]).</ins></div></td></tr>
</table>
Jalonso