https://www.glc.us.es/web/index.php?action=history&feed=atom&title=Lecturas_del_a%C3%B1o_2010 2026-07-18T19:17:42Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/web/index.php?title=Lecturas_del_a%C3%B1o_2010&diff=1197&oldid=prev 2013-04-28T04:33:59Z

<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 04:33 28 abr 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Línea 1:</td> <td colspan="2" class="diff-lineno">Línea 1:</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>== Lecturas de Noviembre de 2010 ==</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>== Lecturas de Noviembre de 2010 ==</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://goo.gl/Mpz03 Ejercicios de programación en Haskell] #Haskell #V &#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>* [http://goo.gl/Mpz03 Ejercicios de programación en Haskell] #Haskell #V &#160;</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;">* [http://goo.gl/0FwrK El valor del fracaso digno] #CM</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><del style="font-weight: bold; text-decoration: none;">* [http://goo.gl/aWC1 Computational science: ...Error (... why scientific programming does not compute)] #Verificación</del></div></td><td colspan="2">&#160;</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://goo.gl/5mUCh El tipo abstracto de datos de las pilas en Haskell] #Haskell #V &#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>* [http://goo.gl/5mUCh El tipo abstracto de datos de las pilas en Haskell] #Haskell #V &#160;</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;">* [http://goo.gl/rwY3S The free-form linguistics revolution in mathematica]. </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><del style="font-weight: bold; text-decoration: none;">* [http://goo.gl/3hNgt A preliminary survey on functional programming] #PF</del></div></td><td colspan="2">&#160;</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://goo.gl/HDZyb Desarrollo del comando wc de Unix en Haskell] #Haskell #V &#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>* [http://goo.gl/HDZyb Desarrollo del comando wc de Unix en Haskell] #Haskell #V &#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 colspan="2" class="diff-lineno" id="mw-diff-left-l12" >Línea 12:</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>* [http://goo.gl/V7Sud Problema sobre números naturales] #Haskell #V</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://goo.gl/V7Sud Problema sobre números naturales] #Haskell #V</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://goo.gl/PkVYW Rompecabeza de Ullman en Haskell] #Haskell #V</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://goo.gl/PkVYW Rompecabeza de Ullman en Haskell] #Haskell #V</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;">* [http://goo.gl/hWPRa Lisp bot wins Google AI challenge — Will Lisp win in the semantic web, too?] #Lisp #IA</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><del style="font-weight: bold; text-decoration: none;">* [http://goo.gl/NRnls Decálogo de la didáctica matemática] #Enseñanza #V</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><del style="font-weight: bold; text-decoration: none;">* [http://goo.gl/b9gFY El decálogo del profesor (según Polya)] #Enseñanza #V</del></div></td><td colspan="2">&#160;</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://goo.gl/CnWj0 Proceedings workshop on partiality and recursion in interactive theorem provers.] #Libro #AR</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://goo.gl/CnWj0 Proceedings workshop on partiality and recursion in interactive theorem provers.] #Libro #AR</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;">* [http://goo.gl/87Z9o Parallelizing a CLIPS-based course timetabling expert system] #SE</del></div></td><td colspan="2">&#160;</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://goo.gl/s4etS Certifying compilers using higher-order theorem provers as certificate checkers] #Verificación #V &#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>* [http://goo.gl/s4etS Certifying compilers using higher-order theorem provers as certificate checkers] #Verificación #V &#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;"><div>* [http://goo.gl/wo8BN Teorías y aplicaciones] #V</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://goo.gl/wo8BN Teorías y aplicaciones] #V</div></td></tr> </table>

Jalonso https://www.glc.us.es/web/index.php?title=Lecturas_del_a%C3%B1o_2010&diff=1186&oldid=prev 2013-04-27T17:23:59Z

<p>New page: == Lecturas de Noviembre de 2010 == * [http://goo.gl/Mpz03 Ejercicios de programación en Haskell] #Haskell #V * [http://goo.gl/0FwrK El valor del fracaso digno] #CM * [http://goo.gl/aWC1...</p> <p><b>Página nueva</b></p><div>== Lecturas de Noviembre de 2010 ==<br /> * [http://goo.gl/Mpz03 Ejercicios de programación en Haskell] #Haskell #V <br /> * [http://goo.gl/0FwrK El valor del fracaso digno] #CM<br /> * [http://goo.gl/aWC1 Computational science: ...Error (... why scientific programming does not compute)] #Verificación<br /> * [http://goo.gl/5mUCh El tipo abstracto de datos de las pilas en Haskell] #Haskell #V <br /> * [http://goo.gl/rwY3S The free-form linguistics revolution in mathematica]. <br /> * [http://goo.gl/3hNgt A preliminary survey on functional programming] #PF<br /> * [http://goo.gl/HDZyb Desarrollo del comando wc de Unix en Haskell] #Haskell #V <br /> <br /> == Lecturas de Diciembre de 2010 ==<br /> * [http://goo.gl/AVXPW Lógica computacional en Sevilla (30 años en una hora)] #V <br /> * [http://goo.gl/V7Sud Problema sobre números naturales] #Haskell #V<br /> * [http://goo.gl/PkVYW Rompecabeza de Ullman en Haskell] #Haskell #V<br /> * [http://goo.gl/hWPRa Lisp bot wins Google AI challenge — Will Lisp win in the semantic web, too?] #Lisp #IA<br /> * [http://goo.gl/NRnls Decálogo de la didáctica matemática] #Enseñanza #V<br /> * [http://goo.gl/b9gFY El decálogo del profesor (según Polya)] #Enseñanza #V<br /> * [http://goo.gl/CnWj0 Proceedings workshop on partiality and recursion in interactive theorem provers.] #Libro #AR<br /> * [http://goo.gl/87Z9o Parallelizing a CLIPS-based course timetabling expert system] #SE<br /> * [http://goo.gl/s4etS Certifying compilers using higher-order theorem provers as certificate checkers] #Verificación #V <br /> * [http://goo.gl/wo8BN Teorías y aplicaciones] #V</div>

Jalonso