https://www.glc.us.es/~jalonso/DAO/index.php?action=history&feed=atom&title=DAO_%28Demostraci%C3%B3n_asistida_por_ordenador%29 2026-10-02T16:31:39Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/DAO/index.php?title=DAO_(Demostraci%C3%B3n_asistida_por_ordenador)&diff=156&oldid=prev 2018-07-15T11:27:11Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="es"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 11:27 15 jul 2018</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l5" >Línea 5:</td> <td colspan="2" class="diff-lineno">Línea 5:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Ejercicios]]: Relaciones de ejercicios.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Ejercicios]]: Relaciones de ejercicios.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Documentación]]: Lecturas recomendadas.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Documentación]]: Lecturas recomendadas.</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">http</del>://<del class="diffchange diffchange-inline">goo</del>.<del class="diffchange diffchange-inline">gl</del>/<del class="diffchange diffchange-inline">YdTZW </del>Diario]: Descripción diaria de las clases.</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>* [<ins class="diffchange diffchange-inline">https</ins>://<ins class="diffchange diffchange-inline">tarski</ins>.<ins class="diffchange diffchange-inline">cs.us.es/~jalonso/vestigium/tag/ra2012</ins>/ Diario]: Descripción diaria de las clases.</div></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/DAO/index.php?title=DAO_(Demostraci%C3%B3n_asistida_por_ordenador)&diff=155&oldid=prev 2018-07-15T11:26:02Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="es"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 11:26 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="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;">== Demostración asistida por ordenador ==</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/research/hvg/Isabelle Isabelle/HOL]). &#160;</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/research/hvg/Isabelle Isabelle/HOL]). &#160;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/DAO/index.php?title=DAO_(Demostraci%C3%B3n_asistida_por_ordenador)&diff=10&oldid=prev 2013-02-26T19:31:51Z

<p>‎<span dir="auto"><span class="autocomment">Material para el curso</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:31 26 feb 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l6" >Línea 6:</td> <td colspan="2" class="diff-lineno">Línea 6:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Ejercicios]]: Relaciones de ejercicios.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Ejercicios]]: Relaciones de ejercicios.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Documentación]]: Lecturas recomendadas.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Documentación]]: Lecturas recomendadas.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [http://goo.gl/YdTZW Diario]: Descripción diaria de las clases.</ins></div></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/DAO/index.php?title=DAO_(Demostraci%C3%B3n_asistida_por_ordenador)&diff=5&oldid=prev 2013-02-25T18:23:15Z

<p>Página creada con &#039;== Demostración asistida por ordenador == Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/rese...&#039;</p> <p><b>Página nueva</b></p><div>== Demostración asistida por ordenador ==<br /> Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/research/hvg/Isabelle Isabelle/HOL]). <br /> <br /> == Material para el curso ==<br /> * [[Temas]]: Teorías de los temas.<br /> * [[Ejercicios]]: Relaciones de ejercicios.<br /> * [[Documentación]]: Lecturas recomendadas.</div>

Jalonso