{"id":684,"date":"2010-09-30T06:48:16","date_gmt":"2010-09-30T06:48:16","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=684"},"modified":"2010-12-22T17:51:06","modified_gmt":"2010-12-22T17:51:06","slug":"presentacion-de-la-logica-para-informaticos","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/presentacion-de-la-logica-para-informaticos\/","title":{"rendered":"Presentaci\u00f3n de la l\u00f3gica para inform\u00e1ticos"},"content":{"rendered":"<p>\nExisten distintas presentaciones de la l\u00f3gica para inform\u00e1ticos.Quiz\u00e1s la m\u00e1s conocida sea <a href=\"http:\/\/www.lsi.upc.edu\/~roberto\/LogicCalculus.pdf\">Logic as The Calculus of Computer Science<\/a> de P.G. Kolaitis y M.Y. Vardi. En la que presntan el papel que juega la l\u00f3gica en la inform\u00e1tica de manera an\u00e1loga al del c\u00e1lculo en la f\u00edsica.<\/p>\n<p>\nAyer nuestro compa\u00f1ero Joaqu\u00edn Borrego public\u00f3 <a href=\"http:\/\/www.slideshare.net\/jborregouses\/presentacion-lgica-para-la-asignatura-lgica-y-computabilidad-5317226\" title=\"Introducci\u00f3n a la l\u00f3gica\">Introducci\u00f3n a la l\u00f3gica<\/a><object id=\"__sse5317226\" width=\"425\" height=\"355\"><param name=\"movie\" value=\"http:\/\/static.slidesharecdn.com\/swf\/ssplayer2.swf?doc=presentacionlogica-100929130302-phpapp01&#038;stripped_title=presentacion-lgica-para-la-asignatura-lgica-y-computabilidad-5317226&#038;userName=jborregouses\" \/><param name=\"allowFullScreen\" value=\"true\"\/><param name=\"allowScriptAccess\" value=\"always\"\/><\/object><br \/>\nEs nueva presentaci\u00f3n de la l\u00f3gica para inform\u00e1ticos; en este caso, par los estudiantes de la asignatura de <a href=\"http:\/\/www.cs.us.es\/cursos\/lc\/\">L\u00f3gica y computabilidad<\/a> de segundo curso de la Inenier\u00eda T\u00e9cnica en Inform\u00e1tica de Sistemas. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>Existen distintas presentaciones de la l\u00f3gica para inform\u00e1ticos.Quiz\u00e1s la m\u00e1s conocida sea Logic as The Calculus of Computer Science de P.G. Kolaitis y M.Y. Vardi. En la que presntan el papel que juega la l\u00f3gica en la inform\u00e1tica de manera an\u00e1loga al del c\u00e1lculo en la f\u00edsica. Ayer nuestro compa\u00f1ero Joaqu\u00edn Borrego public\u00f3 Introducci\u00f3n a&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"closed","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":[164],"tags":[58,156],"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\/684"}],"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=684"}],"version-history":[{"count":6,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/684\/revisions"}],"predecessor-version":[{"id":1092,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/684\/revisions\/1092"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=684"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=684"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=684"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}