https://www.glc.us.es/~jalonso/RA2010/index.php?action=history&feed=atom&title=Ejercicios_de_%22Razonamiento_autom%C3%A1tico_%282011-12%29%22 2026-10-01T02:31:23Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/RA2010/index.php?title=Ejercicios_de_%22Razonamiento_autom%C3%A1tico_(2011-12)%22&diff=306&oldid=prev 2013-02-24T17:24:26Z

<p>Página creada con &#039; __NOTOC__ == Ejercicios de &quot;Razonamiento automático&quot; == === Ejemplos === * <a href="/~jalonso/RA2010/index.php/Deducci%C3%B3n_natural_en_l%C3%B3gica_proposicional_con_Isabelle/Isar" title="Deducción natural en lógica proposicional con Isabelle/Isar">Deducción natural en lógica proposicional con Isabelle/Isar</a>. * [[Deducción natural en lógic...&#039;</p> <p><b>Página nueva</b></p><div> __NOTOC__<br /> == Ejercicios de &quot;Razonamiento automático&quot; ==<br /> <br /> === Ejemplos ===<br /> * [[Deducción natural en lógica proposicional con Isabelle/Isar]].<br /> * [[Deducción natural en lógica de primer orden con Isabelle/Isar]].<br /> <br /> === Relaciones de ejercicios ===<br /> <br /> ==== Ejercicios de deducción natural ====<br /> * &#039;&#039;&#039;Relación 1&#039;&#039;&#039;: Deducción natural en lógica proposicional. ([[Rel_1|Enunciado]]).<br /> * &#039;&#039;&#039;Relación 2&#039;&#039;&#039;: Deducción natural en lógica de primer orden. ([[Rel_2|Enunciado]]).<br /> <br /> ==== Razonamiento por inducción sobre listas ====<br /> * &#039;&#039;&#039;Relación 3&#039;&#039;&#039;: Cons inverso y cuantificadores sobre listas. ([[Rel_3|Enunciado]]).<br /> * &#039;&#039;&#039;Relación 4&#039;&#039;&#039;: Sustitución, inversión y eliminación. ([[Rel_4|Enunciado]]).<br /> * &#039;&#039;&#039;Relación 5&#039;&#039;&#039;: Menor posición válida. ([[Rel_5|Enunciado]]).<br /> * &#039;&#039;&#039;Relación 6&#039;&#039;&#039;: Número de elementos válidos. ([[Rel_6|Enunciado]]).<br /> * &#039;&#039;&#039;Relación 7&#039;&#039;&#039;: Contador de occurrencias. ([[Rel_7|Enunciado]]).<br /> * &#039;&#039;&#039;Relación 8&#039;&#039;&#039;: Suma y aplanamiento de listas. ([[Rel_8|Enunciado]]).<br /> <br /> ==== Ejercicios complementarios ====<br /> * &#039;&#039;&#039;Relación 9&#039;&#039;&#039;: Deducción natural en lógica proposicional. ([[Rel_9|Enunciado]]).<br /> * &#039;&#039;&#039;Relación 10&#039;&#039;&#039;: Deducción natural en lógica de primer orden. ([[Rel_10|Enunciado]]).<br /> * &#039;&#039;&#039;Relación 11&#039;&#039;&#039;: Razonamiento sobre programas. ([[Rel_11|Enunciado]]).</div>

Jalonso