{"id":1976,"date":"2012-03-01T19:42:45","date_gmt":"2012-03-01T19:42:45","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1976"},"modified":"2012-03-19T19:45:31","modified_gmt":"2012-03-19T19:45:31","slug":"lecturas-del-grupo-de-logica-computacional-febrero-de-2012","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lecturas-del-grupo-de-logica-computacional-febrero-de-2012\/","title":{"rendered":"Lecturas del Grupo de L\u00f3gica Computacional (Febrero de 2012)"},"content":{"rendered":"

Esta entrada es una recopilaci\u00f3n de lecturas compartidas en la lista de correo del grupo de l\u00f3gica computacional<\/a> durante el mes de Febrero de 2012. La anterior recopilaci\u00f3n fue la de Enero de 2012<\/a>.\n<\/p>\n

\nLa recopilaci\u00f3n est\u00e1 ordenada por la fecha de su publicaci\u00f3n en la lista. Al
\nfinal de cada art\u00edculo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.\n<\/p>\n

    \n
  1. Emergence and refinement<\/a>. #Sistemascomplejos<\/sub>\n<\/li>\n
  2. Formalizing a hierarchical file system<\/a>. #PVS\n<\/li>\n
  3. Etude et formalisation de la m\u00e9thode de Wu dans Coq<\/a>. #Tesis #Coq\n<\/li>\n
  4. Using PVS to investigate incidents through the lens of distributed ORG-LIST-END-MARKER cognition<\/a>. #PVS\n
  5. Formal system verification for trustworthy embedded systems<\/a>. #Isabelle\n<\/li>\n
  6. The mechanical verification of a DPLL-based satisfiability solver<\/a>. #PVS\n<\/li>\n
  7. Innovaci\u00f3n en el tratamiento de la informaci\u00f3n desde la Ingenier\u00eda del ORG-LIST-END-MARKER Conocimiento (1\/2)<\/a>\n
  8. Innovaci\u00f3n en el tratamiento de la informaci\u00f3n desde la Ingenier\u00eda del ORG-LIST-END-MARKER Conocimiento (2\/2)<\/a>\n
  9. A unified treatment of syntax with binders<\/a>.\n<\/li>\n
  10. The age of Big Data<\/a>. #IA\n<\/li>\n
  11. Crear mol\u00e9culas desde cero sin la endiablada ecuaci\u00f3n de Schr\u00f6dinger<\/a>. #IA\n<\/li>\n
  12. Refinement for monadic programs<\/a>. #Isabelle\n<\/li>\n
  13. Dijkstra’s shortest path algorithm<\/a>. #Isabelle\n<\/li>\n
  14. Computational topology<\/a>.\n<\/li>\n
  15. Category theory and functional programming<\/a>. #Haskell\n<\/li>\n
  16. The artist in the computer scientist: more humanity to our research<\/a>.\n<\/li>\n
  17. When formal systems kill: computer ethics and formal methods<\/a>.\n<\/li>\n
  18. Mathematics in the age of the Turing machine<\/a>. #Panorama #DAO\n<\/li>\n
  19. The reflective Milawa theorem prover is sound<\/a>. #ACL2 #HOL4\n<\/li>\n
  20. Ejercicios de “Inform\u00e1tica de 1\u00ba de Matem\u00e1ticas” (2011-12)<\/a>. #Haskell\n<\/li>\n
  21. Temas de programaci\u00f3n funcional con Haskell (curso 2011-12)<\/a>. #Haskell\n<\/li>\n
  22. Executable transitive closures<\/a>. #Isabelle\n<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

    Esta entrada es una recopilaci\u00f3n de lecturas compartidas en la lista de correo del grupo de l\u00f3gica computacional durante el mes de Febrero de 2012. La anterior recopilaci\u00f3n fue la de Enero de 2012. La recopilaci\u00f3n est\u00e1 ordenada por la fecha de su publicaci\u00f3n en la lista. Al final de cada art\u00edculo se encuentra etiquetas…<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[1],"tags":[178,292],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1976"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=1976"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1976\/revisions"}],"predecessor-version":[{"id":1978,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1976\/revisions\/1978"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1976"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1976"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1976"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}