https://www.glc.us.es/web/index.php?action=history&feed=atom&title=Deduction_using_the_ProofWeb_system 2026-07-17T19:36:02Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/web/index.php?title=Deduction_using_the_ProofWeb_system&diff=412&oldid=prev 2008-11-13T09:12:30Z

<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 09:12 13 nov 2008</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>Este sistema es puede integrarse en el proyecto [[APLI2S (APLIcaciones de Ayuda Para Lógica Informática)]].</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 sistema es puede integrarse en el proyecto [[APLI2S (APLIcaciones de Ayuda Para Lógica Informática)]].</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> <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>[[User:Jalonso|José A. Alonso]] <del class="diffchange diffchange-inline">10</del>:<del class="diffchange diffchange-inline">08</del>, 13 <del class="diffchange diffchange-inline">November </del>2008 <del class="diffchange diffchange-inline">(CET)</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>[[User:Jalonso|José A. Alonso]] <ins class="diffchange diffchange-inline">8</ins>:<ins class="diffchange diffchange-inline">30</ins>, 13 <ins class="diffchange diffchange-inline">Noviembre </ins>2008 &#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> <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>[[Category:Lecturas]].</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>[[Category:Lecturas]].</div></td></tr> </table>

Jalonso https://www.glc.us.es/web/index.php?title=Deduction_using_the_ProofWeb_system&diff=411&oldid=prev 2008-11-13T09:11:23Z

<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 09:11 13 nov 2008</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3" >Línea 3:</td> <td colspan="2" class="diff-lineno">Línea 3:</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>ProofWeb es un editor de demostraciones verificadas en la Web. Su finalidad es pedagógica. El cálculo es de deducción natural (parecido al del libro de Huth y Ryan). Permite distintas presentaciones de las pruebas: cálculo de secuentes, cajas de Fitch. La presentación básica es mediante tácticas en Coq, pero permite introducir las reglas mediantes menús como en Jape. A diferencia de Jape, permite razonar con funciones y con igualdad. Además de Coq, permite la interacción con otros sistemas somo Isabelle. &#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>ProofWeb es un editor de demostraciones verificadas en la Web. Su finalidad es pedagógica. El cálculo es de deducción natural (parecido al del libro de Huth y Ryan). Permite distintas presentaciones de las pruebas: cálculo de secuentes, cajas de Fitch. La presentación básica es mediante tácticas en Coq, pero permite introducir las reglas mediantes menús como en Jape. A diferencia de Jape, permite razonar con funciones y con igualdad. Además de Coq, permite la interacción con otros sistemas somo Isabelle. &#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> <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>Este sistema es <del class="diffchange diffchange-inline">interesante </del>en el proyecto <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>Este sistema es <ins class="diffchange diffchange-inline">puede integrarse </ins>en el proyecto <ins class="diffchange diffchange-inline">[[APLI2S (APLIcaciones de Ayuda Para Lógica Informática)]]</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;"></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> <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>[[User:Jalonso|José A. Alonso]] 10:08, 13 November 2008 (CET)</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>[[User:Jalonso|José A. Alonso]] 10:08, 13 November 2008 (CET)</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> <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>[[Category:Lecturas]].</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>[[Category:Lecturas]].</div></td></tr> </table>

Jalonso https://www.glc.us.es/web/index.php?title=Deduction_using_the_ProofWeb_system&diff=409&oldid=prev 2008-11-13T09:08:21Z

<p>New page: C. Kaliszyk, F. van Raamsdonk, F. Wiedijk, H. Wupper, M. Hendriks y R. de Vrijer &#039;&#039;[http://proofweb.cs.ru.nl/man.pdf Deduction using the ProofWeb system]&#039;&#039;. ICIS Technical Report, 2008. --...</p> <p><b>Página nueva</b></p><div>C. Kaliszyk, F. van Raamsdonk, F. Wiedijk, H. Wupper, M. Hendriks y R. de Vrijer &#039;&#039;[http://proofweb.cs.ru.nl/man.pdf Deduction using the ProofWeb system]&#039;&#039;. ICIS Technical Report, 2008.<br /> ----<br /> ProofWeb es un editor de demostraciones verificadas en la Web. Su finalidad es pedagógica. El cálculo es de deducción natural (parecido al del libro de Huth y Ryan). Permite distintas presentaciones de las pruebas: cálculo de secuentes, cajas de Fitch. La presentación básica es mediante tácticas en Coq, pero permite introducir las reglas mediantes menús como en Jape. A diferencia de Jape, permite razonar con funciones y con igualdad. Además de Coq, permite la interacción con otros sistemas somo Isabelle. <br /> <br /> Este sistema es interesante en el proyecto ...<br /> <br /> [[User:Jalonso|José A. Alonso]] 10:08, 13 November 2008 (CET)<br /> <br /> [[Category:Lecturas]].</div>

Jalonso