{"id":1857,"date":"2012-02-02T07:49:46","date_gmt":"2012-02-02T07:49:46","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1857"},"modified":"2013-03-08T05:48:56","modified_gmt":"2013-03-08T05:48:56","slug":"lecturas-del-grupo-de-logica-computacional-enero-de-2012-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lecturas-del-grupo-de-logica-computacional-enero-de-2012-2\/","title":{"rendered":"Lecturas del Grupo de L\u00f3gica Computacional (Enero 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 Enero de 2012.\n<\/p>\n

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

    \n
  1. \nL’ordinateur au c\u0153ur de la d\u00e9couverte math\u00e9matique<\/a>. #Divulgaci\u00f3n\n<\/li>\n
  2. \n\u00daltimos dos d\u00edgitos de (1+5^(2n+1))\/6<\/a>. #Haskell\n<\/li>\n
  3. \nDisparad contra la Ilustraci\u00f3n<\/a>. #Ense\u00f1anza\n<\/li>\n
  4. \nOn the aesthetics of computer science<\/a>. #Divulgaci\u00f3n\n<\/li>\n
  5. \nComputing with hereditarily finite sequences<\/a>. #Prolog #MKM\n<\/li>\n
  6. \nAn interview with Stephen A. Cook<\/a>. #Divulgaci\u00f3n\n<\/li>\n
  7. \nMarkov models<\/a>. #Isabelle\n<\/li>\n
  8. \nTuring machines<\/a> por J. Hopcroft #Cl\u00e1sico #Divulgaci\u00f3n\n<\/li>\n
  9. \nThe way forward for Computer Science in the U.K.<\/a> #Ense\u00f1anza\n<\/li>\n
  10. \nTeaching semantics with a proof assistant: No more LSD trip proofs<\/a>. #Ense\u00f1anza #L\u00f3gica #Isabelle\n<\/li>\n
  11. \nEnse\u00f1ando deducci\u00f3n natural con Coq<\/a>. #Ense\u00f1anza #L\u00f3gica #Coq\n<\/li>\n
  12. \nFormalisation en OWL pour v\u00e9rifier les sp\u00e9cifications d\u2019un environnement intelligent<\/a>. #OWL #Prover9\n<\/li>\n
  13. \nThink complexity<\/a>. #Sistemas_complejos #Python\n<\/li>\n
  14. \nAlgorithmic graph theory<\/a>. #Libro #Algor\u00edtmica #Sage\n<\/li>\n
  15. \nA simplified framework for first-order languages and its formalization in Mizar<\/a>. #Tesis #Metal\u00f3gica #Mizar\n<\/li>\n
  16. \nProofPeer – A cloud-based interactive theorem proving system<\/a>. #ProofPeer\n<\/li>\n
  17. \nGeneric proof tools and finite group theory<\/a>. #Tesis #Coq\n<\/li>\n<\/ol>\n

    En Mendeley tambi\u00e9n se encuentran las lecturas del Grupo de L\u00f3gica Computacional<\/a>.<\/p>\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 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 relativas a los sistemas que usa o a su…<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","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":[177],"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\/1857"}],"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=1857"}],"version-history":[{"count":5,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1857\/revisions"}],"predecessor-version":[{"id":2862,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1857\/revisions\/2862"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1857"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1857"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1857"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}