https://www.glc.us.es/~jalonso/LMF2019/index.php?action=history&feed=atom&title=Temas
Temas - Historial de revisiones
2026-07-18T05:56:45Z
Historial de revisiones para esta página en el wiki
MediaWiki 1.31.14
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Temas&diff=813&oldid=prev
Jalonso en 20:02 7 feb 2020
2020-02-07T20:02:36Z
<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 20:02 7 feb 2020</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l4" >Línea 4:</td>
<td colspan="2" class="diff-lineno">Línea 4:</td></tr>
<tr><td class='diff-marker'> </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>* Tema 2:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-2.pdf Deducción natural proposicional].</div></td><td class='diff-marker'> </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>* Tema 2:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-2.pdf Deducción natural proposicional].</div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 2a: [[Deducción natural proposicional con Isabelle/HOL]].</div></td><td class='diff-marker'> </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>* Tema 2a: [[Deducción natural proposicional con Isabelle/HOL]].</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 style="font-weight: bold; text-decoration: none;">* Tema 2b: [[Deducción natural proposicional con Isabelle/HOL basada en tácticas]].</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </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>* Tema 3:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-3.pdf Sintaxis y semántica de la lógica de primer orden].</div></td><td class='diff-marker'> </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>* Tema 3:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-3.pdf Sintaxis y semántica de la lógica de primer orden].</div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 4:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-4.pdf Deducción natural en lógica de primer orden].</div></td><td class='diff-marker'> </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>* Tema 4:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-4.pdf Deducción natural en lógica de primer orden].</div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL].</div></td><td class='diff-marker'> </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>* Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL].</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 style="font-weight: bold; text-decoration: none;">* Tema 4b: [[Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas]].</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </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>* Tema 5:  [[Programación funcional en Isabelle/HOL]].             </div></td><td class='diff-marker'> </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>* Tema 5:  [[Programación funcional en Isabelle/HOL]].             </div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 6:  [https://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8.pdf Razonamiento sobre programas].     </div></td><td class='diff-marker'> </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>* Tema 6:  [https://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8.pdf Razonamiento sobre programas].     </div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Temas&diff=670&oldid=prev
Jalonso en 08:43 13 may 2019
2019-05-13T08:43:52Z
<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 08:43 13 may 2019</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l16" >Línea 16:</td>
<td colspan="2" class="diff-lineno">Línea 16:</td></tr>
<tr><td class='diff-marker'> </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>* Tema 9:  [[Definiciones inductivas]].</div></td><td class='diff-marker'> </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>* Tema 9:  [[Definiciones inductivas]].</div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 10: [[Conjuntos, funciones y relaciones]].</div></td><td class='diff-marker'> </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>* Tema 10: [[Conjuntos, funciones y relaciones]].</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>* Tema 11: [[Desarrollo de <del class="diffchange diffchange-inline">teor¡as </del>formalizadas con Isabelle/HOL]].</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>* Tema 11: [[Desarrollo de <ins class="diffchange diffchange-inline">teorías </ins>formalizadas con Isabelle/HOL]].</div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Temas&diff=473&oldid=prev
Jalonso en 17:32 25 mar 2019
2019-03-25T17:32:05Z
<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 17:32 25 mar 2019</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l9" >Línea 9:</td>
<td colspan="2" class="diff-lineno">Línea 9:</td></tr>
<tr><td class='diff-marker'> </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>* Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL].</div></td><td class='diff-marker'> </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>* Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL].</div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 4b: [[Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas]].</div></td><td class='diff-marker'> </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>* Tema 4b: [[Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas]].</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 style="font-weight: bold; text-decoration: none;">* Tema 2b: [[Deducción natural proposicional con Isabelle/HOL basada en tácticas]].</del></div></td><td colspan="2"> </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;">* Tema 2b: [[Deducción natural proposicional con Isabelle/HOL basada en tácticas]].</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </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>* Tema 5:  [[Programación funcional en Isabelle/HOL]].             </div></td><td class='diff-marker'> </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>* Tema 5:  [[Programación funcional en Isabelle/HOL]].             </div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 6:  [https://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8.pdf Razonamiento sobre programas].     </div></td><td class='diff-marker'> </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>* Tema 6:  [https://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8.pdf Razonamiento sobre programas].     </div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Temas&diff=472&oldid=prev
Jalonso en 17:31 25 mar 2019
2019-03-25T17:31:32Z
<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 17:31 25 mar 2019</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l4" >Línea 4:</td>
<td colspan="2" class="diff-lineno">Línea 4:</td></tr>
<tr><td class='diff-marker'> </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>* Tema 2:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-2.pdf Deducción natural proposicional].</div></td><td class='diff-marker'> </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>* Tema 2:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-2.pdf Deducción natural proposicional].</div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 2a: [[Deducción natural proposicional con Isabelle/HOL]].</div></td><td class='diff-marker'> </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>* Tema 2a: [[Deducción natural proposicional con Isabelle/HOL]].</div></td></tr>
<tr><td colspan="2"> </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;">* Tema 2b: [[Deducción natural proposicional con Isabelle/HOL basada en tácticas]].</ins></div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 3:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-3.pdf Sintaxis y semántica de la lógica de primer orden].</div></td><td class='diff-marker'> </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>* Tema 3:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-3.pdf Sintaxis y semántica de la lógica de primer orden].</div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 4:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-4.pdf Deducción natural en lógica de primer orden].</div></td><td class='diff-marker'> </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>* Tema 4:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-4.pdf Deducción natural en lógica de primer orden].</div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL].</div></td><td class='diff-marker'> </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>* Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL].</div></td></tr>
<tr><td colspan="2"> </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;">* Tema 4b: [[Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas]].</ins></div></td></tr>
<tr><td colspan="2"> </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;">* Tema 2b: [[Deducción natural proposicional con Isabelle/HOL basada en tácticas]].</ins></div></td></tr>
<tr><td colspan="2"> </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;">* Tema 2b: [[Deducción natural proposicional con Isabelle/HOL basada en tácticas]].</ins></div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 5:  [[Programación funcional en Isabelle/HOL]].             </div></td><td class='diff-marker'> </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>* Tema 5:  [[Programación funcional en Isabelle/HOL]].             </div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 6:  [https://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8.pdf Razonamiento sobre programas].     </div></td><td class='diff-marker'> </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>* Tema 6:  [https://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8.pdf Razonamiento sobre programas].     </div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Temas&diff=23&oldid=prev
Jalonso en 11:12 7 feb 2019
2019-02-07T11:12:14Z
<p></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 11:12 7 feb 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/LMF2019/index.php?title=Temas&diff=21&oldid=prev
Jalonso en 11:11 7 feb 2019
2019-02-07T11:11:20Z
<p></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 11:11 7 feb 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/LMF2019/index.php?title=Temas&diff=12&oldid=prev
Jalonso en 11:01 7 feb 2019
2019-02-07T11:01:42Z
<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:01 7 feb 2019</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l7" >Línea 7:</td>
<td colspan="2" class="diff-lineno">Línea 7:</td></tr>
<tr><td class='diff-marker'> </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>* Tema 4:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-4.pdf Deducción natural en lógica de primer orden].</div></td><td class='diff-marker'> </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>* Tema 4:  [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-4.pdf Deducción natural en lógica de primer orden].</div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL].</div></td><td class='diff-marker'> </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>* Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL].</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>* Tema 5:  [[<del class="diffchange diffchange-inline">Programaci¢n </del>funcional en Isabelle/HOL]].             </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>* Tema 5:  [[<ins class="diffchange diffchange-inline">Programación </ins>funcional en Isabelle/HOL]].             </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>* Tema 6:  [[Razonamiento sobre programas]]. <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>* Tema 6:  <ins class="diffchange diffchange-inline">[https://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8.pdf Razonamiento sobre programas].    </ins></div></td></tr>
<tr><td colspan="2"> </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">* Tema 6a: </ins>[[Razonamiento sobre programas <ins class="diffchange diffchange-inline">en Isabelle/HOL</ins>]]. <ins class="diffchange diffchange-inline">                </ins></div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 7:  [[Razonamiento por casos y por inducci¢n]].         </div></td><td class='diff-marker'> </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>* Tema 7:  [[Razonamiento por casos y por inducci¢n]].         </div></td></tr>
<tr><td class='diff-marker'> </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>* Tema 8:  [[Razonamiento sobre árboles y bosques]].</div></td><td class='diff-marker'> </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>* Tema 8:  [[Razonamiento sobre árboles y bosques]].</div></td></tr>
</table>
Jalonso
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Temas&diff=8&oldid=prev
Jalonso en 10:45 7 feb 2019
2019-02-07T10:45:18Z
<p></p>
<p><b>Página nueva</b></p><div>En esta página se encuentra el material (transparencias y teorías) del curso ''Lógica matemática y fundamentos''.<br />
<br />
* Tema 1: [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-1.pdf Sintaxis y semántica de la lógica proposicional].<br />
* Tema 2: [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-2.pdf Deducción natural proposicional].<br />
* Tema 2a: [[Deducción natural proposicional con Isabelle/HOL]].<br />
* Tema 3: [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-3.pdf Sintaxis y semántica de la lógica de primer orden].<br />
* Tema 4: [https://www.cs.us.es/~jalonso/cursos/lmf-18/temas/tema-4.pdf Deducción natural en lógica de primer orden].<br />
* Tema 4a: [https://www.glc.us.es/~jalonso/LMF2019/index.php/Tema_4a Deducción natural en lógica de primer orden con Isabelle/HOL].<br />
* Tema 5: [[Programaci¢n funcional en Isabelle/HOL]]. <br />
* Tema 6: [[Razonamiento sobre programas]]. <br />
* Tema 7: [[Razonamiento por casos y por inducci¢n]]. <br />
* Tema 8: [[Razonamiento sobre árboles y bosques]].<br />
* Tema 9: [[Definiciones inductivas]].<br />
* Tema 10: [[Conjuntos, funciones y relaciones]].<br />
* Tema 11: [[Desarrollo de teor¡as formalizadas con Isabelle/HOL]].</div>
Jalonso