https://www.glc.us.es/~jalonso/RA2019/index.php?action=history&feed=atom&title=Sistemas 2026-07-20T10:04:27Z Historial de revisiones de esta página en el wiki MediaWiki 1.36.1 https://www.glc.us.es/~jalonso/RA2019/index.php?title=Sistemas&diff=1078&oldid=prev 2022-02-08T17:31:49Z

<p><span dir="auto"><span class="autocomment">Editores de pruebas por secuentes</span></span></p> <table style="background-color: #fff; color: #202122;" 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: #202122; text-align: center;">← Revisión anterior</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 17:31 8 feb 2022</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"></td><td style="background-color: #f8f9fa; color: #202122; 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;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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;"><br/></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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>== Editores de pruebas por secuentes ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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>== Editores de pruebas por secuentes ==</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; 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;">* [http://www.uni-kassel.de/eecs/fachgebiete/fmv/projects/sequent-calculus-trainer.html Sequent Calculus Trainer] (un demostrador para el cálculo de secuentes).</del></div></td><td colspan="2"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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://logitext.mit.edu/main Logitext] (un demostrador interactivo basado en el cálculo de secuentes).</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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://logitext.mit.edu/main Logitext] (un demostrador interactivo basado en el cálculo de secuentes).</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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;"><br/></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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>== Formalización ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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>== Formalización ==</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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://protosmart.uhu.es/apli2/login APLI2 (APLIcación de Ayuda Para Lógica Informática)].</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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://protosmart.uhu.es/apli2/login APLI2 (APLIcación de Ayuda Para Lógica Informática)].</div></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/RA2019/index.php?title=Sistemas&diff=1077&oldid=prev 2022-02-08T17:31:35Z

<p><span dir="auto"><span class="autocomment">Editores de pruebas por deducción natural</span></span></p> <table style="background-color: #fff; color: #202122;" 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: #202122; text-align: center;">← Revisión anterior</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 17:31 8 feb 2022</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"></td><td style="background-color: #f8f9fa; color: #202122; 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;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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;"><br/></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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>== Editores de pruebas por deducción natural ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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>== Editores de pruebas por deducción natural ==</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; 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.doc.ic.ac.uk/pandora/newpandora Pandora] <del style="font-weight: bold; text-decoration: none;">(y [https://www.cs.us.es/~jalonso/cursos/lmf/sistemas/pandora.jar copia local])</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; 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.doc.ic.ac.uk/pandora/newpandora Pandora]</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; 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;">* [http://web.student.chalmers.se/~jespolss/Conan.html Conan] (y su [https://t.co/8aNC1H9MvD descripción])</del></div></td><td colspan="2"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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;"><br/></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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>== Editores de pruebas por secuentes ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; 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>== Editores de pruebas por secuentes ==</div></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/RA2019/index.php?title=Sistemas&diff=19&oldid=prev 2019-10-15T09:49:38Z

<p>Protegió «<a href="/~jalonso/RA2019/index.php/Sistemas" title="Sistemas">Sistemas</a>» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="es"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Revisión anterior</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 09:49 15 oct 2019</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/RA2019/index.php?title=Sistemas&diff=18&oldid=prev 2019-10-15T09:49:23Z

<p>Página creada con «En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso == Asistentes de demostración == * [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.…»</p> <p><b>Página nueva</b></p><div>En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso<br /> <br /> == Asistentes de demostración ==<br /> * [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html Isabelle/HOL].<br /> <br /> == Editores de pruebas por deducción natural ==<br /> * [http://www.doc.ic.ac.uk/pandora/newpandora Pandora] (y [https://www.cs.us.es/~jalonso/cursos/lmf/sistemas/pandora.jar copia local])<br /> * [http://web.student.chalmers.se/~jespolss/Conan.html Conan] (y su [https://t.co/8aNC1H9MvD descripción])<br /> <br /> == Editores de pruebas por secuentes ==<br /> * [http://www.uni-kassel.de/eecs/fachgebiete/fmv/projects/sequent-calculus-trainer.html Sequent Calculus Trainer] (un demostrador para el cálculo de secuentes).<br /> * [http://logitext.mit.edu/main Logitext] (un demostrador interactivo basado en el cálculo de secuentes).<br /> <br /> == Formalización ==<br /> * [http://protosmart.uhu.es/apli2/login APLI2 (APLIcación de Ayuda Para Lógica Informática)].</div>

Jalonso