{"id":380,"date":"2012-10-05T18:00:14","date_gmt":"2012-10-05T16:00:14","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/lucaspada\/?p=380"},"modified":"2012-10-05T18:00:14","modified_gmt":"2012-10-05T16:00:14","slug":"matematica-discreta-e-logica-matematica-informatica","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/380-matematica-discreta-e-logica-matematica-informatica\/","title":{"rendered":"Matematica Discreta e Logica Matematica (Informatica)"},"content":{"rendered":"<p>This year I will give a series of introductory lectures on Mathematical Logic for the course &#8220;Matematica Discreta e Logica Matematica&#8221; at the B.Sc. in Computer Science. \u00a0I will try to write down some lecture notes, but in the meanwhile students may find helpful to consult some references. \u00a0Probably <em>any<\/em>\u00a0book on mathematical logic contains the topics I am about to discuss, yet here there are some suggestions aimed at Italian speakers without a strong background in mathematics.<\/p>\n<ol>\n<li>Giangiacomo Gerla<strong> <a href=\"http:\/\/ilmiolibro.kataweb.it\/schedalibro.asp?id=644526\">Linguaggio e verit\u00e0<\/a><\/strong>. <em>ilmiolibro.it<\/em>. 2011. 274 pages (also available in reduced form, for free, <a href=\"http:\/\/www.dipmat.unisa.it\/people\/gerla\/www\/Down\/Light%20logica.pdf\">here<\/a>)<\/li>\n<li>Andrea Asperti, Agata Ciabattoni <strong><a href=\"http:\/\/www.catalogo.mcgraw-hill.it\/catLibro.asp?item_id=2469\">Logica a informatica<\/a>. <\/strong><em>McGraw-Hill. <\/em>1997. 204 pages<em>.<\/em><\/li>\n<li>Dario Palladino <strong><a href=\"http:\/\/www.ibs.it\/code\/9788843054220\/palladino-dario\/corso-logica-introduzione.html\">Corso di logica. Introduzione al calcolo dei predicati<\/a><\/strong>.<em> Carocci<\/em>. 2010. 409 pages.<\/li>\n<\/ol>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This year I will give a series of introductory lectures on Mathematical Logic for the course &#8220;Matematica Discreta e Logica Matematica&#8221; at the B.Sc. in Computer Science. \u00a0I will try to write down some lecture notes, but in the meanwhile students may find helpful to consult some references. \u00a0Probably any\u00a0book on mathematical logic contains the [&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":[],"class_list":["post-380","post","type-post","status-publish","format-standard","hentry","category-teaching"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/380","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=380"}],"version-history":[{"count":1,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/380\/revisions"}],"predecessor-version":[{"id":381,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/380\/revisions\/381"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=380"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=380"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=380"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}