{"id":1495,"date":"2011-08-02T09:03:43","date_gmt":"2011-08-02T09:03:43","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1495"},"modified":"2011-08-02T09:08:03","modified_gmt":"2011-08-02T09:08:03","slug":"lecturas-del-grupo-de-logica-computacional-julio-de-2011","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/lecturas-del-grupo-de-logica-computacional-julio-de-2011\/","title":{"rendered":"Lecturas del Grupo de L\u00f3gica Computacional (Julio de 2011)"},"content":{"rendered":"

Esta entrada es una recopilaci\u00f3n de lecturas compartidas en la lista de correo del grupo de l\u00f3gica computacional<\/a>. 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 contenido.<\/p>\n

    \n
  1. \nRazonamiento formalizado para la ense\u00f1anza de las matem\u00e1ticas<\/a>. [#Vestigium, #Ense\u00f1anza]\n<\/li>\n
  2. \nThe Ideal Mathematician<\/a>. [#Humor]\n<\/li>\n
  3. \nEl problema de las puertas en Haskell<\/a>. [#Haskell]\n<\/li>\n
  4. \nMetadata for a mathematical wiki: Initial experiments<\/a>. [#Mizar]\n<\/li>\n
  5. \nLogical Verification<\/a>. [#Coq]\n<\/li>\n
  6. \nFormal proofs for theoretical properties of Newton’s method<\/a>. [#Coq]\n<\/li>\n
  7. \nFormalisation de la logique de description ALC dans l’assistant de preuve Coq<\/a>. [#Coq, #ALC]\n<\/li>\n
  8. \nV\u00e9rification d’une m\u00e9thode de preuve pour la logique de description ALC<\/a>. [#Isabelle. #ALC]\n<\/li>\n
  9. \nA critique of Abelson and Sussman or why calculating is better than scheming<\/a>. [#Haskell, #Lisp]\n<\/li>\n
  10. \nExperiments with computable matrices in the Coq system<\/a>. [#Coq]\n<\/li>\n
  11. \nComputing the homology of groups: the geometric way<\/a>. [#Kenzo]\n<\/li>\n
  12. \nPeut-on faire des math\u00e9matiques avec un ordinateur?<\/a>. [#Matem\u00e1tica computacional]\n<\/li>\n
  13. \nThe Theory Behind TheoryMind<\/a>. [#Isabelle]\n<\/li>\n
  14. \nProvably correct conflict prevention bands algorithms<\/a>. [#PVS]\n<\/li>\n
  15. \nPeut-on avoir confiance en l’informatique?<\/a>. [#Verificaci\u00f3n]\n<\/li>\n
  16. \nLecturas de razonamiento formalizado (del 27-Oct-2010 al 1-Jul-2011)<\/a>. [#GLC, #Vestigium]\n<\/li>\n
  17. \nAutomated theorem provers a practical tool for the working mathematician<\/a>. [#DAO, #Vestigium]\n<\/li>\n
  18. \nIntellectual Freedom<\/a>. [#Humor]\n<\/li>\n
  19. \nCiencia china ‘duplicada’ en Galicia<\/a>. [#Sociolog\u00eda]\n<\/li>\n
  20. \nExpresiones aritm\u00e9ticas mediante tipos abstracto de datos y polinomios<\/a>. [#Haskell, #Vestigium]\n<\/li>\n
  21. \nA verified runtime for a verified theorem prover<\/a>. [#ACL2]\n<\/li>\n
  22. \nA Framework for Automated and Certified Refinement Steps<\/a>. [#Isabelle]\n<\/li>\n
  23. \nDescomposiciones en sumas de cuadrados en Haskell<\/a>. [#Haskell, #Vestigium]\n<\/li>\n
  24. \nInteractive Proof Introduction to IsabelleHOL<\/a>. [#Isabelle]\n<\/li>\n
  25. \nCoq au vin (The Coq proof assistant and the Curry-Howard correspondence)<\/a> [#Coq]\n<\/li>\n
  26. \nHardware languages and proof<\/a>. [#Tesis, #PVS, #SAL]\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. 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 contenido. Razonamiento formalizado para la ense\u00f1anza de…<\/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":[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\/1495"}],"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=1495"}],"version-history":[{"count":5,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1495\/revisions"}],"predecessor-version":[{"id":1500,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1495\/revisions\/1500"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1495"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1495"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1495"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}