https://www.glc.us.es/~jalonso/DAO2012/index.php?action=history&feed=atom&title=DAO2012_%28Demostraci%C3%B3n_asistida_por_ordenador%29 2026-10-03T04:33:16Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/DAO2012/index.php?title=DAO2012_(Demostraci%C3%B3n_asistida_por_ordenador)&diff=27&oldid=prev 2012-11-23T20:29:52Z

<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 20:29 23 nov 2012</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8" >Línea 8:</td> <td colspan="2" class="diff-lineno">Línea 8:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Temas]]: Teorías de los temas.</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>* [[Temas]]: Teorías de los temas.</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>* [[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 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;">* [[Documentación]]: Lecturas recomendadas.</ins></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>* [http://www.glc.us.es/~jalonso/vestigium/tag/dao2012/ Diario]: Descripción diaria de las clases.</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>* [http://www.glc.us.es/~jalonso/vestigium/tag/dao2012/ Diario]: Descripción diaria de las clases.</div></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/DAO2012/index.php?title=DAO2012_(Demostraci%C3%B3n_asistida_por_ordenador)&diff=19&oldid=prev 2012-11-20T17:44:47Z

<p>Protegió «<a href="/~jalonso/DAO2012/index.php/DAO2012_(Demostraci%C3%B3n_asistida_por_ordenador)" title="DAO2012 (Demostración asistida por ordenador)">DAO2012 (Demostración asistida por ordenador)</a>» ([edit=sysop] (indefinido) [move=sysop] (indefinido))</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 17:44 20 nov 2012</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/DAO2012/index.php?title=DAO2012_(Demostraci%C3%B3n_asistida_por_ordenador)&diff=6&oldid=prev 2012-11-20T16:35:01Z

<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 16:35 20 nov 2012</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8" >Línea 8:</td> <td colspan="2" class="diff-lineno">Línea 8:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Temas]]: Teorías de los temas.</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>* [[Temas]]: Teorías de los temas.</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>* [[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'>−</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://www.cs.us.es/~jalonso/cursos/dao/doc.html Documentación]: Enlaces con documentación.</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>* [http://www.glc.us.es/~jalonso/vestigium/tag/<ins class="diffchange diffchange-inline">dao2012</ins>/ Diario]: Descripción diaria de las clases.</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://www.cs.us.es/~jalonso/cursos/dao/sistemas.html Sistemas]: Sistemas utilizados.</del></div></td><td colspan="2">&#160;</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>* [http://www.glc.us.es/~jalonso/vestigium/tag/<del class="diffchange diffchange-inline">dao2011</del>/ Diario]: Descripción diaria de las clases.</div></td><td colspan="2">&#160;</td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/DAO2012/index.php?title=DAO2012_(Demostraci%C3%B3n_asistida_por_ordenador)&diff=5&oldid=prev 2012-11-20T16:33:39Z

<p>Página creada con &#039;== Demostración asistida por ordenador == Este seminario es una introducción a la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/research/hvg/...&#039;</p> <p><b>Página nueva</b></p><div>== Demostración asistida por ordenador ==<br /> Este seminario es una introducción a la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/research/hvg/Isabelle Isabelle/HOL/Isar]). Sus objetivos son:<br /> * desarrollar la capacidad de razonamiento lógico,<br /> * saber usar sistemas de razonamiento y<br /> * desarrollar teorías matemáticas en sistemas de demostración automática. <br /> <br /> == Material para el curso ==<br /> * [[Temas]]: Teorías de los temas.<br /> * [[Ejercicios]]: Relaciones de ejercicios.<br /> * [http://www.cs.us.es/~jalonso/cursos/dao/doc.html Documentación]: Enlaces con documentación.<br /> * [http://www.cs.us.es/~jalonso/cursos/dao/sistemas.html Sistemas]: Sistemas utilizados.<br /> * [http://www.glc.us.es/~jalonso/vestigium/tag/dao2011/ Diario]: Descripción diaria de las clases.</div>

Jalonso