Lecturas compartidas en Twitter (del 5 de Febrero al 17 de Julio de 2011)

PorJosé A. Alonso

Esta entrada es una recopilación de lecturas que he compartido en Twitter. La recopilación de los tweets está ordenada según la fecha de su publicación en Twitter.

Julio 2011

  1. The Infinitude of the Primes. #Haskell #Matemáticas
  2. Celestial Emporium (17-Jul-2011).
  3. Resolvendo Desafios mais complicados com Prolog. #Prolog (RT @andreiformiga)
  4. The unreasonable effectiveness of logic by Philip Wadler. #Lógica #Computación
  5. A critique of Abelson and Sussman or why calculating is better than scheming by Philip Walder. #Haskell #Lisp (RT @joseanpg)
  6. Proofs are Programs. #Lógica #Computación (RT @joseanpg)
  7. How real are real numbers? by Gregory Chaitin. #Matemáticas #Computación (RT @MathBits)
  8. La profesión de matemático. #Matemáticas
  9. The Logical Impingement of AI by L.M. Pereira. #Lógica #AI
  10. Computing and the cultures of proving by D. MacKenzie. #Lógica #Matemáticas #Computación
  11. How To Tell Stuff To A Computer: The Enigmatic Art of Knowledge Representation by C. Barki.
  12. El decálogo del profesor (según Polya). #Docencia #Matemáticas
  13. El derecho a leer por Richard Stallman.
  14. Haskell vs. Ada vs. C++ vs. Awk vs. … (An Experiment in Software Prototyping Productivity) by P. Hudak & M.P. Jones. #Haskell
  15. La Vérité et la Machine de Benjamin Werner. #Matemáticas #Computación
  16. Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) … by D. Zeilberger.
  17. Para qué sirven las matemáticas.
  18. Eloquent JavaScript (A Modern Introduction to Programming) by M. Haverbeke. #LibroLibre #JavaScript
  19. Tabla comparativa de la sintaxis de Prolog, Erlang y Oz.
  20. Tabla comparativa de la sintaxis de Common Lisp, Scheme, Clojure y Emacs Lisp.
  21. Tabla comparativa de la sintaxis de Mathematica, Sage y Maxima.
  22. Tabla comparativa de la sintaxis de Standard ML, OCaml, Scala y Haskell.
  23. Ordenadores, paradojas y fundamentos de las matemáticas por G.J. Chaitin. #Lógica #Matemáticas #Computación
  24. Haskell y la teoría de categorías. #Haskell #Matemáticas
  25. Scala: Programação OO, Funcional e Concorrente na JVM. (RT @andreiformiga)
  26. Examen de programación en Haskell (Julio de 2011). #Haskell #Matemáticas
  27. A Logical Interpretation of Some Bits of Topology. #Lógica #Topología
  28. Logic and Artificial Intelligence by R. Thomason. #Lógica #IA
  29. A brief history of logic by M.Y. Vardi. #Lógica #Computación #Historia
  30. On the Unusual Effectiveness of Logic in Computer Science. #Lógica #Computación
  31. Haskell for Maths.
  32. Hardware languages and proof #Tesis #Verificación #PVS
  33. Treatise on Intuitionistic Type Theory by J.G. Granstrom. #Book #Logic
  34. A theorem proving framework for the formal verification of Web Services Composition. #Verificación #HOLLight
  35. Metadata for a mathematical wiki: Initial experiments. #Matemáticas #Wiki #WebSemantica
  36. Interactive Theorem Proving and the Formalisation of Mathematics. #Matemáticas
  37. John Hughes Contrasts Erlang and Haskell
  38. Logic is not logic by Jean-Yves Béziau. #Lógica
  39. Viète, Descartes, and the Emergence of Modern Mathematics by D. Macbeth #Historia #Matemáticas (RT @MathBits)
  40. Georg Cantor, el club de Groucho y el tamaño del infinito. (vía @recuerdopandora)
  41. Why Lisp is a Big Hack (And Haskell is Doomed to Succeed). #Lisp #Haskell
  42. MIT introduction to computer science. #Python #CS
  43. Vestigium: El problema de las puertas en Haskell. #Haskell #Matemáticas
  44. Retrato humorístico del matemático típico. #Matemáticas
  45. The Ideal Mathematician by P. Davis and R. Hersh.
  46. Recopilación de publicaciones sobre la cultura matemática. #Matemáticas
  47. An argument for “meta-mathematics”. #Matemáticas
  48. Vestigium: Razonamiento formalizado para la enseñanza de las matemáticas. #Matemáticas #RazonamientoFormalizado
  49. Haskell: A Whirlwind Tour (Part 2/2) by William Taysom.
  50. Haskell: A Whirlwind Tour (Part 1/2) by William Taysom.
  51. Entrevista con Manuel Simoni “Lisp: The Programmable Programming Language”
  52. Zen and the art of formalization. #FormalizedReasoning

Junio 2011

  1. Coding Guidelines for Prolog by Michael A. Covington et als. #Prolog
  2. A Pearl on SAT Solving in Prolog. #Prolog #SAT
  3. SAT solver of Howe & King as a logic program. #Polog #SAT
  4. Isabelle Repository for Relational and Algebraic Methods. #RazonamientoFormalizado #Isabelle #Matemáticas
  5. Why Verify Software?.
  6. What’s Fun About Teaching.
  7. Entrevista a Knuth “La informática se asocia con el dinero y no con la ciencia”.
  8. Writing software is more an art than an engineering discipline
  9. I1M2010: Examen de programación en Haskell. #Haskell #Matemáticas
  10. Constructive mathematics by Phil Wilson. #Lógica #Matemáticas
  11. Searching for the missing truth by Marianne Freiberger. #Lógica #Matemáticas
  12. The philosophy of applied mathematics by Phil Wilson.
  13. Why Johnny can’t program and how that can change. (via @vardi)
  14. Remembering Alan Turing on his 99th birthday. #Turing
  15. Vestigium: Un problema de las olimpiadas rusas en Haskell. #Haskell #Matemática
  16. Programas lógicos para conjuntos de conocimiento. #Prolog
  17. Sobre la indecidibilidad de la indecidibilidad por Gustavo Piñeiro. #Godel #Lógica
  18. Solving the Unsolvable by Vardi. #Indecibilidad
  19. High-Performance Web Applications in Haskell by Gregory Collins. #Haskell
  20. Glasgow Haskell vs. Lispworks. #Haskell #GHC #Lisp
  21. Common Lisp – Myths and Legends. #Lisp
  22. Practical Common Lisp by Peter Seibel. #LibroLibre #Lisp
  23. Introduction to Lambda Calculus by H. Barendregt, E. Barendsen.
  24. Type classes for efficient exact real arithmetic in Coq by R. Krebbers, B. Spitters. #Coq #Matemática #Computación
  25. Deciding Kleene Algebras in Coq. #RazonamientoFormalizado #Coq
  26. Mathematical Background by John F. Sowa. #Lógica #Matemática #Computación
  27. Introduction to Mathematical Logic by Vilnis Detlovs. #LibroLibre #Lógica #Matemáticas
  28. Writing a simple plagiarism detector in Haskell by Tom Moertel.
  29. Comparación de la programación funcional e imperativa. #Haskell
  30. Scientific American: The Power of Theory in Science.
  31. Functional Programming Koans, in OCaml. #ProgramacionFuncional
  32. Logic in Computer Science by Michael Winter. #eLibro #Lógica
  33. Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL. #RazonamientoFormalizado #Isabelle
  34. Haskell Monoids and their Uses. #Haskell (RT @MarimuthuM)
  35. The History and Concept of Mathematical Proof by Steven G. Krantz. #Matemáticas
  36. Vestigium: Libro de ejercicios de programación con Haskell. #Haskell
  37. I1M2010: Operaciones con el El TAD de los polinomios en Haskell. #Haskell
  38. I1M2010: El TAD de los polinomios en Haskell. #Haskell
  39. I1M2010: Ejercicios sobre la numeración de los racionales en Haskell. #Haskell #Matemáticas
  40. Entrevista a Donald Knuth realizada por Dikran Karagueuzian (director de CSLI Publications).
  41. Entrevista a Donald Knuth con motivo del premio Fronteras del Conocimiento.
  42. The Proof is in the Pudding (A Look at the Changing Nature of Mathematical Proof) by Steven G. Krantz. #LibroLibre
  43. Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. #RazonamientoFormalizado #Coq
  44. Entrevista a Simon Peyton-Jones sobre el desarrollo de Haskell. (vía @joseanpg)
  45. Wearing the hair shirt (A retrospective on #Haskell) by Simon Peyton Jones. (vía @joseanpg)
  46. La paradoja de Skolem en ProofWiki. #Matemáticas #Lógica
  47. Eleven Reasons to use Haskell as a Mathematician #Haskell #Matemáticas
  48. ProofWiki: recopilación colaborativa de demostraciones matemáticas. #Matemáticas
  49. Tutorial sobre el desarrollo en Haskell de aplicaciones para el iPhone.
  50. Programming Languages: Application and Interpretation by S. Krishnamurthi. #LibroLibre #Programacion #Haskell #Lisp
  51. Mathematical logic and computability by J. Keisler et als. #LibroLibre #Lógica #Computación
  52. History of Lambda-calculus and Combinatory Logic. #Lógica #Computación
  53. Entrevista a Rich Hickey (creador de Clojure) en Code Quarterly. #Programacion #Clojure
  54. Entrevista a H. Abelson (coautor de “Structure and Interpretation of Computer Programs”) en Code Quarterly.
  55. The MathScheme Library: Some Preliminary Experiments. #Computación #Matemáticas #Scheme
  56. Blown to Bits (Your Life, Liberty, and Happiness After the Digital Explosion) by H. Abelson et als. #LibroLibre
  57. Tough SAT: Un generador de fórmulas en FNC en formato DIMACS para sistemas SAT. #Lógica #SAT
  58. Initial Semantics for Higher-Order Typed Syntax in Coq by B. Ahrens, J. Zsido. #Lógica #Computación #Coq
  59. El primer teorema de incompletitud de Gödel (en 4 clases de Peter Smith). #Lógica
  60. Generalising Gödel’s Theorem with Multiple Worlds. Part IV. #Lógica #Haskell
  61. Generalising Gödel’s Theorem with Multiple Worlds. Part III. #Lógica #Haskell
  62. Generalising Gödel’s Theorem with Multiple Worlds. Part II. #Lógica #Haskell
  63. Generalising Gödel’s Theorem with Multiple Worlds. Part I. #Lógica #Haskell
  64. Brute Force SAT Solver in Haskell by @andreiformiga #Lógica #Haskell
  65. Kurt Gödel and the Foundations of Mathematics: Horizons of Truth.
  66. Applications of Logic in Social Choice Theory by U. Endriss.
  67. Problemas de laberintos en Haskell.
  68. Sobre Lakatos, la demostración de la conjetura de Collatz, su refutación y una tipología de artículos matematicas
  69. Mathematical and Logical Basis of Computing: a Workbook by Howard A. Blair. #Lógica #Matemáticas #Computación
  70. Mathematical Logic Lecture Notes by Lou van den Dries. #Libro #Lógica
  71. Elementary Calculus: An Infinitesimal Approach by H. Jerome Keisler. #Matemáticas
  72. Lecture notes for Mathematical Logic I by Kevin C. Klement #Lógica
  73. Mathematical Logic by Stephen G. Simpson. #Lógica
  74. Curso de introducción a la lógica y sus algoritmos implementados en Haskell.
  75. WebPIE: A Web-scale parallel inference engine using MapReduce.
  76. How I Failed, Failed, and Finally Succeeded at Learning How to Code James Somers.
  77. 10 Scala One Liners to Impress Your Friends. #Scala
  78. Comparación de la eficiencia de Haskell, Lisp y Maxima mediante la función de Takeuchi. #Haskell #Lisp #Maxima
  79. 10 Haskell One Liners to Impress Your Friends. #Haskell
  80. Métodos lógicos de demostración. #Lógica #Humor
  81. Using ‘Theorema’ in the Formalization of Theoretical Economics.
  82. An Application of the Formal Method to Statistics.
  83. Paraconsistencia y computación cuántica.
  84. Classical Logic and the Curry–Howard Correspondence by F. Lawler.
  85. An Introduction to Proofs and the Mathematical Vernacular by Martin V. Day.
  86. Mathematical Logic. An Introduction by P. Koepke. #Lógica #Matemáticas
  87. Three Chapters of Measure Theory in Isabelle/HOL. #RazonamientoFormalizado #Matemáticas #Computación
  88. Modelling Distributed Cognition Systems in PVS.
  89. A verified runtime for a verified theorem prover.
  90. I1M2010: Programación dinámica en Haskell y el problema del producto de cadenas de matrices. #Haskell #Algoritmica
  91. LI2011: Unificación y resolución en lógica de primer orden.
  92. I1M2010: Búsqueda en escalada en Haskell.
  93. I1M2010: Búsqueda por primero el mejor en Haskell.
  94. Logic via Foundational Algorithms. #Lógica #Computación
  95. Specification and Verification: The Spec# Experience.

Mayo 2011

  1. Materiales de lógica y fundamentos de la matemática recopilados por Alexander Sakharov. #Lógica #Matemáticas
  2. Panorama de la lógica y los fundamentos de la matemática por S.G. Simpson. #Lógica #Matemáticas
  3. Meta-Mathematics of Computer Programming by P.J. Voda. #Lógica #Computación
  4. Teaching natural deduction as a subversive activity by J. Caldwell. #Lógica
  5. Logic and Discrete Mathematics for Computer Scientists by J. Caldwell. #Lógica #Matemática #Computación #LibroLibre
  6. Actas del 4º simposio europeo de Lisp (enfocado en el paralelismo y la eficiencia). #Lisp
  7. Los problemas abiertos en matemáticas desde hace más tiempo. #Matemáticas (via @AlgebraFact)
  8. Syntactic Finitism in the Metatheory of Programming Languages Tesis de J. Sarnat.
  9. Estado de la demostración asistida por ordenador (hasta diciembre del 2008). #DAO
  10. Aniversario del artículo de Turing “On Computable Numbers, with an Application to the Entscheidungsproblem”.
  11. Integrating Testing and Interactive Theorem Proving.
  12. Verificación formal de las tablas de finales de ajedrez.
  13. Solución mediante Prolog de un rompecabeza lógico. #Lógica #Prolog
  14. Reflexiones de Gian-Carlo Rota sobre la enseñanza de las matemáticas.
  15. Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics. #RazonamientoAutomatico
  16. Termination of Isabelle Functions via Termination of Rewriting.
  17. Rationality and Escalation in Infinite Extensive Games. #Coq
  18. Sigma: An Integrated Development Environment for Formal Ontology. #Lógica #Ontologias
  19. Teaching Computational Logic: Technology-enhanced Learning and Animations. #Lógica
  20. Validated Compilation through Logic. #Verificación #Lógica #Computación
  21. LI2011: Formas normales de Skolem.
  22. I1M2010: 7º examen del curso de programación con Haskell.
  23. What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common. #Haskell
  24. A Proof-Carrying Code Based Framework for Social Networking by S.C. Hanvey.
  25. Teaching Computational Logic: Technology-enhanced Learning and Animations.
  26. Manual de comunicación para investigadores elaborado por la Universidad de la Rioja.
  27. La indecibilidad del problema de la parada en Scheme. #Scheme (via @arademaker)
  28. El problema de Josephus en Haskell. #Haskell
  29. MOLTAP Un demostrador automático basado en tableros para lógicas modales y episméticas. #Lógica #RazonamientoAutomatico
  30. I1M2010: El patrón de búsqueda en espacios de estados en Haskell. #Haskell #Algoritmica
  31. I1M2010: El patrón de divide y vencerás en Haskell. #Haskell #Algoritmica
  32. I1M2010: Ejercicios sobre el TAD de los grafos en Haskell. #Haskell
  33. ¿Para qué sirven las matemáticas? según WeUseMath.org. #Matemáticas
  34. Introducción a Agda por Daniel Peebles. #Agda #Haskell
  35. Razones para programar con Haskell. #Haskell
  36. Recursive types in QuickCheck. #Haskell
  37. [[http://bit.ly/l3CzBZ][Todos los caminos conducen a las matemáticas]. #Matemáticas
  38. LI2011: Tableros semánticos de primer orden.
  39. LI2011: Ejercicios de deducción natural en lógica de primer orden.
  40. LI2011: Deducción natural en lógica de primer orden.
  41. La elegancia de Haskell en el procesamiento de series de potencias. #Haskell
  42. DAO2011: Ejercicios de deducción natural en lógica de primer orden con Isabelle/HOL.
  43. DAO2011: Deducción natural en lógica de primer orden con Isabelle/HOL.
  44. DAO2011: Ejercicios de deducción natural proposicional con Isabelle/HOL.
  45. DAO2011: Deducción natural proposicional con Isabelle/HOL.
  46. DAO2011: Ejercicios de razonamiento sobre programas con Isabelle/HOL.
  47. El arte de resolver problemas. #Matemáticas #Polya
  48. Reflexiones de G.B. Dantzig sobre matemáticas puras y aplicadas. #Matemáticas
  49. A Survey of Functional Reactive Programming (Concepts, Implementations, Optimizations, and Applications) by E. Amsden.
  50. The Algebra of Data, and the Calculus of Mutation.
  51. Wolfgang: A Wolfram Alpha clone in Haskell.
  52. The Mathematician (part II) by John von Neumann. #Matemáticas
  53. The Mathematician (part I) by John von Neumann. #Matemáticas
  54. Ejercicios de deducción natural en lógica de primer orden.
  55. The Proof is in the Pudding (A Look at the Changing Nature of Mathematical Proof) by S.G. Krantz. #Matemáticas #Lógica
  56. Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover.
  57. ALPprolog — A New Logic Programming Method for Dynamic Domains. #Prolog #Agentes
  58. TRX: A Formally Verified Parser Interpreter by A. Koprowski & H, Binsztok #Coq #Verificación
  59. Computational Meta-Ethics: Towards the Meta-Ethical Robot by G.J. Lokhorst.
  60. Modal logic: The Lewis-Modal systems by J.J. Zeman. #LibroLibre
  61. Computer certified efficient exact reals in Coq by R. Krebbers & B. Spitters.
  62. The worst algorithm in the world?
  63. I1M2010: Implementación en Haskell de los algoritmos de Kruskal y de Prim.
  64. LI2011: Semántica de la lógica de primer orden.
  65. I1M2010: Ejercicios sobre la implementación en Haskell del TAD de los grafos mediante listas de pares.
  66. Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem by A.B. Avelar.
  67. Solving Rubik’s Cube Using SAT Solvers.
  68. Algorithmic Mathematics by L.Soicher and F. Vivaldi. #LibroLibre #Matemáticas #Computación
  69. Learn You a Haskell for Great Good!. #LibroLibre #Haskell
  70. Vestigium: “Sorpresa sumando potencias de 2 en Haskell”: Numeraciones de los racionales. #Matemáticas #Haskell
  71. Logical literacy by Matt Might.
  72. An Introduction to Category Theory for the working Computer Scientist. #LibroLibre (RT @modelpractice)
  73. Navigating Cities and Understanding Proofs.
  74. Using Wolfram Alpha to prove 1=0 por Sam Alexander.
  75. Scala by Example de Martin Odersky. #LibroLibre #Programacion #Scala
  76. A List-Machine Benchmark for Mechanized Metatheory de Andrew W. Appel, *Robert Dockins y Xavier Leroy.
  77. Formalizing the C99 standard in HOL, Isabelle and Coq.
  78. El Tao del Programador de G. James. #LibroLibre #Programacion
  79. The Mathematician as an Explorer by Sherman K. Stein.
  80. Transition Systems for Model Generators (A Unifying Approach) de Y. Lierler y M. Truszczynski. #SAT #ASP #DPLL
  81. A Computational Implementation of the Ontological Argument por P.E. Oppenheimer y E.N. Zalta. #Prover9
  82. Programming may one day be about getting the maths right.
  83. Web tools for online learning of computation theory and logic de V. Rocio.

Abril 2011

  1. Automated proof system for Haskell program properties.
  2. I1M2010: Implementación en Haskell de los grafos mediante matrices. Algoritmos de recorrido de grafos.
  3. DAO2011: Ejercicios de razonamiento sobre programas con Isabelle.
  4. DAO2011: Razonamiento sobre programas funcionales con Isabelle.
  5. Libro de ejercicios resueltos programación con Haskell.
  6. I1M2010: El TAD de los grafos y su implementación en Haskell mediante vectores de adyacencia.
  7. I1M2010: Ejercicios sobre vectores y matrices en Haskell (2).
  8. I1M2010: Familias de grafos y su representación gráfica.
  9. I1M2010: Introducción a los grafos.
  10. I1M2010: Ejercicios sobre vectores y matrices en Haskell (1).
  11. I1M2010: Ejercicios sobre el TAD de los montículos en Haskell.
  12. I1M2010: Ejercicios sobre listas infinitas en Haskell
  13. Automated Reasoning by H. Zantema.
  14. Functional Programming with Python – Part 2.
  15. Functional Programming with Python – Part 1.
  16. A Pearl on SAT and SMT Solving in Prolog. #Lógica #Prolog
  17. Sorpresa sumando potencias de 2. (RT @@gaussianos)
  18. Retículo de las conectivas proposicionales. #Lógica
  19. Constructive Formalization of Classical Modal Logic por Christian Doczkal y Gert Smolka.
  20. Teoremas con conclusiones sorprendentes. #Matemáticas
  21. Learn You a Haskell for Great Good!: A Beginner’s Guide por Miran Lipovaca. #LibroLibre
  22. Basics of Compiler Design por T. Mogensen #LibroLibre (vía @CompSciFact)
  23. Discrete Mathematics Lecture Notes by Laszlo Babai. #LibroLibre
  24. LI2011: Sintaxis y semántica de la lógica de primer orden.
  25. LI2011: Representación del conocimiento mediante lógica de primer orden.
  26. A Formal Proof Of The Riesz Representation Theorem by A. Narkawicz. #PVS
  27. The limits of correctness by B.C. Smith (Reflexiones sobre las demostraciones de corrección de programas).
  28. LI2011: Estrategias y refinamiento de resolución proposicional. #LógicaComputacional
  29. Metodología de la enseñanza de la programación funcional en primer curso de la Univeridad de Carnegie Mellon.
  30. LI2011: Resolución proposicional. #Lógica
  31. Entrevista con H. Hauser «Los matemáticos no buscan resultados, van tras la belleza». #Matemáticas
  32. Wikiproofs (Primer wiki de matemáticas autoverificadas). #Matemáticas #Formalizacion
  33. I1M2010: Ejercicios sobre la implementación en Haskell del TAD de grafos mediante listas.
  34. I1M2010: Examen de programación en Haskell.
  35. Logic in Action. #LibroLibre #Lógica #Computación
  36. Reasoned Programming de K. Broda, S. Eisenbach y H. Khoshnevisan. #LibroLibre #Lógica #Programacion
  37. Structure and Interpretation of Computer Programs en formato ePub. #LibroLibre
  38. Timeline of computer science. (vía The Blog of Scott Aaronson)
  39. Haskell for the cloud por Jeff Epstein, Andrew Black y Simon Peyton Jones.
  40. How To Read A Mathematics Textbook.
  41. Coq’Art: The Calculus of Inductive Constructions por Y. Bertot y P. Castéran. #LibroLibre
  42. Logic for Computer Science: Foundations of Automatic Theorem Proving por Jean Gallier #LibroLibre #Lógica #Matemáticas
  43. Book of Proof. #LibroLibre #Lógica #Matemática
  44. The Programming Historian (programación para historiadores). #LibroLibre
  45. Vestigium: TAD de las tablas en Haskell
  46. Formalización del lenguaje de programación C en HOL, Isabelle y Coq.
  47. Symbolic Logic. An Accessible Introduction to Serious Mathematical Logic. #LibroLibre
  48. I1M2010: Las tablas (arrays) en #Haskell.
  49. I1M2010: Implementación en #Haskell de las colas de prioridad mediante montículos.
  50. Applications of Answer Set Programming in Phylogenetic Systematics #EComplexCity #ASP
  51. Software matemático libre. #Matemáticas
  52. Experience Report: Functional Programming through Deep Time (Modeling the first complex ecosystems on Earth). #Haskell
  53. LI2011: Formales normales conjuntivas y disyuntivas.
  54. Introductory Computer Science Education at Carnegie Mellon University: A Deans’ Perspective.
  55. LI2011: Ejercicios de deducción natural proposicional.
  56. I1M2010: El tipo abstracto de datos de los montículos en Haskell.
  57. I1M2010: El tipo abstracto de datos de las colas de prioridad en Haskell.
  58. LI2011: Tableros semánticos proposicionales.
  59. LI2011: Deducción natural en lógica proposicional (2).
  60. Solución española para un problema de John Nash. #Matemáticas
  61. Haskell como el lenguaje de programación para los problemas difíciles.
  62. I1M2010: El tipo abstracto de datos de las colas en Haskell.
  63. I1M2010: El tipo abstracto de datos de las pilas en Haskell.
  64. Haskell And The Social Web.
  65. Functional Priority Queues. #Haskell
  66. A Modern SAT Solver in Haskell.
  67. DAO2011: Isabelle como un lenguaje funcional.
  68. An Interview With Edsger W. Dijkstra. #Matemáticas #Computación #Programacion
  69. I1M2010: Los problemas de las reinas y de Hamming en Haskell
  70. La autorreferencia en la demostración de Gödel (Parte 3) por Gustavo Piñeiro. #Matemáticas #Lógica #Godel
  71. Formalising, improving, and reusing the Java Module System. #Tesis #Isabelle
  72. LI2011: Deducción natural en lógica proposicional (1).
  73. A Formalization of Polytime Functions. #Coq

Febrero 2011

  1. Software Verification turns maintstream.
  2. Computational Logic in Plain English by L.C. Paulson.
  3. Entrevista con Donald Knuth.
  4. Sobre el algoritmo de Google.
  5. Resultados recientes sobre el problema de la suma de raíces cuadradas. #Matemáticas #Computación
  6. LI2011: Semántica de la lógica proposicional (2).
  7. DAO2011: Panorama del razonamiento automático a través de ejemplos en Prover9, ACL2, PVS e Isabelle.
  8. Interval Temporal Logic on Natural Numbers. #Isabelle
  9. Infinite Lists por David Trachtenherz. #Isabelle
  10. I1M2010: Problema del concurso “Cifras y letras” en #Haskell (2).
  11. Was Cantor Surprised?. (RT @BenVitale)
  12. I1M2010: Ejercicios de demostraciones de propiedades de funciones Haskell (relación 20). #Matemáticas
  13. I1M2010: Ejercicios de cálculo numérico en Haskell (relación 19).
  14. The Depth Of The Möbius Function (A striking connection between complexity theory and the number theory).
  15. Artificial Intelligence (Foundations of Computational Agents). #LibroLibre #InteligenciaArtificial
  16. RA2010: Panorama del razonamiento automático con Isabelle/HOL.
  17. [[http://goo.gl/niD8K][LI2011: Semántica de la lógica proposicional (1)].
  18. Mathematical Reasoning and Proof with Puzzles, Patterns, and Games. (via @adolfont)
  19. IBM Watson’s win at Jeopardy! is also a success story for Prolog.
  20. Wittgenstein for programmers.
  21. Mathematical Paradoxes and Sophisms. #Matemáticas #Lógica
  22. El tao de la programación. #LibroLibre
  23. Tractatus Digito-Philosophicus #Filosofia #Computación
  24. Are Mathematicians In Jeopardy?. #IA
  25. On proof and progress in mathematics. #Matemáticas
  26. Why is is so difficult to write complete (computer verifiable) proofs?.
  27. LI2011: La lógica proposicional como sistema de representación del conocimiento y su sintaxis.
  28. Vestigium: Problema del concurso “Cifras y letras” en #Haskell.
  29. Vestigium: Razonamiento sobre programas. #Haskell #LógicaComputacional
  30. Vestigium: Ejercicios de Haskell (relaciones 16, 17 y 18). #Haskell
  31. Vestigium: Presentación del curso de “Lógica Informática”. #LógicaComputacional
  32. Vestigium: Demostración con Isabelle de la corrección de un compilador. #RazonamientoFormalizado
  33. Entrevista con Cèdric Villani ganador de la medalla Fields 2010. #Matemáticas
  34. La irresistible elegancia de un teorema por Guillermo Martínez.
  35. Tutorial sobre el desarrollo en Haskell de aplicaciones para el iPhone.
  36. Lower Semicontinuous Functions. #Isabelle
  37. Functional Binomial Queues. #Isabelle
  38. How to Write a Proof por Lesli Lamport.
  39. Complementary validation
  40. Cronología de la ciencia de la computación #Computación
  41. Formalization of Psychological Knowledge in Answer Set Programming and its Application. #ASP
  42. Charming Proofs: A Journey Into Elegant Mathematics. #LibroLibre #Matemáticas
  43. Vestigium: “El próximo después de 1811″ con Haskell
  44. RA2010: Ejercicios de razonamiento sobre listas en Isabelle/Isar. #RazonamientoFormalizado
  45. Vestigium: Wiki de ejercicios de razonamiento formalizado en Isabelle/Isar. #RazonamientoFormalizado
  46. Vestigium: El tipo abstracto de datos de las colas de prioridad en Haskell.
  47. A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. #RazonamientoFormalizado
  48. Game Changing Conjectures In Mathematics.
  49. Carta ficticia de Aristóteles a Platón sobre lógica computacional.
  50. Intelligent Semantic Web Search Engines: A Brief Survey. #WebSemántica
  51. What Is Artificial Intelligence? en NYTimes #InteligenciaArtificial
  52. RobotEarth: una Internet para robots. #InteligenciaArtificial
  53. El juego de “Super Nario Bros” en #Haskell.
  54. Curso de Shankar de introducción a la verificación formal con PVS.
  55. Formalización en Isabelle/Isar del algoritmo de Euclides.
  56. An Overview of QML With a Concrete Implementation in Haskell.