{"id":348,"date":"2012-02-26T22:51:55","date_gmt":"2012-02-26T20:51:55","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/lucaspada\/?p=348"},"modified":"2014-01-11T22:11:08","modified_gmt":"2014-01-11T21:11:08","slug":"logica-ii-per-informatica","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/348-logica-ii-per-informatica\/","title":{"rendered":"Logica II per Informatica"},"content":{"rendered":"<p>This year I will teach the course &#8220;Logica II&#8221; for the M.sc. degree in Computer Science. \u00a0I think I will follow\u00a0<a title=\"Moore's modified method\" href=\"http:\/\/www.jstor.org\/stable\/2321385\">Moore&#8217;s modified method<\/a> for the course (see also the <a title=\"Moore's method\" href=\"http:\/\/en.wikipedia.org\/wiki\/Moore_method\">wikipedia entry<\/a> for the original method).<\/p>\n<p>There are some freely <a title=\"A problem course in mathematical logic\" href=\"http:\/\/euclid.trentu.ca\/math\/sb\/pcml\/\">available notes<\/a>, looking promising, \u00a0I will use during the course.<\/p>\n<p>Other reference (standard books) that may be used as sources of inspiration\u00a0during the course are:<\/p>\n<ul>\n<li>Mendelson, E. \u00a0<a title=\"Mendelson, E. - Introduction to Mathematical Logic\" href=\"http:\/\/www.amazon.it\/Introduction-Mathematical-Discrete-Mathematics-Applications\/dp\/1584888768\/ref=sr_1_1?ie=UTF8&amp;qid=1329998811&amp;sr=8-1\">Introduction to Mathematical Logic<\/a>.\u00a0Chapman &amp; Hall 2009.<\/li>\n<li>Mundici, D. \u00a0<a title=\"Mundici, D. - Logica - Metodo breve\" href=\"http:\/\/www.amazon.it\/Logica-Metodo-Unitext-Daniele-Mundici\/dp\/8847018838\/ref=sr_1_cc_1?s=aps&amp;ie=UTF8&amp;qid=1329998904&amp;sr=1-1-catcorr\">Logica &#8211; Metodo breve<\/a>. Springer Verlag 2011.<\/li>\n<li>Asperti, A. and Ciabattoni, A.\u00a0<a title=\"Logica a Informatica\" href=\"http:\/\/www.amazon.it\/Logica-informatica-Istruzione-scientifica-Asperti\/dp\/8838607575\/ref=sr_1_1?s=books&amp;ie=UTF8&amp;qid=1329998954&amp;sr=1-1\">Logica a Informatica<\/a>. McGraw-Hill 2003<\/li>\n<\/ul>\n<p>Further information will follow on this website.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This year I will teach the course &#8220;Logica II&#8221; for the M.sc. degree in Computer Science. \u00a0I think I will follow\u00a0Moore&#8217;s modified method for the course (see also the wikipedia entry for the original method). There are some freely available notes, looking promising, \u00a0I will use during the course. Other reference (standard books) that may [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[40,41],"class_list":["post-348","post","type-post","status-publish","format-standard","hentry","category-teaching","tag-course","tag-mathematical-logic"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/348","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/comments?post=348"}],"version-history":[{"count":9,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/348\/revisions"}],"predecessor-version":[{"id":358,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/348\/revisions\/358"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=348"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=348"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=348"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}