{"id":2288,"date":"2025-03-18T10:05:33","date_gmt":"2025-03-18T09:05:33","guid":{"rendered":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/?p=2288"},"modified":"2025-03-18T10:11:03","modified_gmt":"2025-03-18T09:11:03","slug":"corso-di-istituzioni-di-logica-2024-25","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/2288-corso-di-istituzioni-di-logica-2024-25\/","title":{"rendered":"Corso di Istituzioni di Logica (2024\/25)"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">Descrizione del corso<\/h2>\n\n\n\n<p>I temi del corso sono i teoremi di incompletezza di G\u00f6del e la logica algebrica.  Il corso sar\u00e0 tenuto dal prof. Luca Spada (16 ore, i teoremi di G\u00f6del) e dalla prof.ssa Serafina Lapenta (32 ore, logica algebrica).<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"block-b256324d-0e51-4fbe-823a-c56584e86d29\">Frequenza<\/h3>\n\n\n\n<p id=\"block-0b750acd-de3c-40c3-8fa9-f92f22ab4794\">La frequenza non \u00e8 obbligatoria ma \u00e8&nbsp;<strong>fortemente consigliata<\/strong>.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"block-39de9c0c-d4e5-48a1-b0ea-acc7f4b14e59\">Contenuti<\/h3>\n\n\n\n<p id=\"block-608ce801-22f9-4649-b54c-ce336484384a\">Il corso coprir\u00e0 i seguenti argomenti:<\/p>\n\n\n\n<ul id=\"block-68e16a47-16dd-4d9b-a255-5ab4ff732e39\" class=\"wp-block-list\">\n<li>I teoremi di incompletezza di G\u00f6del (circa 16 ore).<\/li>\n\n\n\n<li>Elementi di base di algebre universale (circa 6 ore).<\/li>\n\n\n\n<li>Variet\u00e0 e quasi-variet\u00e0. I teoremi di Birkhoff (circa 9 ore).<\/li>\n\n\n\n<li>Logiche algebrizzabili e la costruzione di Lindembaum-Tarski (circa 9 ore).<\/li>\n\n\n\n<li>Logica modale e logica di Lukasiewicz (circa 8 ore).<\/li>\n<\/ul>\n\n\n\n<p id=\"block-e8274472-90c5-441e-b0c1-a984db69b6c4\">Pi\u00f9 dettagliatamente, qui sotto saranno elencati i contenuti delle singole lezioni.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Materiale del corso<\/h2>\n\n\n\n<p>Testi consigliati:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>P. Smith. Godel without (too many) tears, Logic Matters, Cambridge (<a href=\"https:\/\/www.logicmatters.net\/resources\/pdfs\/GWT2edn.pdf\">disponibile gratuitamente online<\/a>)<\/li>\n\n\n\n<li>C. Bergman. Universal algebra: Fundamental and selected topics. Crc press. 2011<\/li>\n\n\n\n<li>S. Burris, h. P. Sankappanavar. A course on universal algebra. (<a href=\"https:\/\/math.hawaii.edu\/~ralph\/Classes\/619\/univ-algebra.pdf\">disponibile gratuitamente online<\/a>)<\/li>\n\n\n\n<li>T. Moraschini. The algebra of logic, dispense del corso<a href=\"https:\/\/moraschini.github.io\/files\/teaching\/AL.pdf\"> disponibili online<\/a>.<\/li>\n<\/ul>\n\n\n\n<p>Le dispense e altro materiale saranno messi a disposizione sulla <a href=\"https:\/\/elearning.unisa.it\/course\/view.php?id=9058\">pagina Moodle del corso<\/a>.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Aspetti pratici<\/h2>\n\n\n\n<p>Docenti: Serafina Lapenta e Luca Spada<br>Crediti\/ore:<br>Durata: 48 ore (12 settimane).<br>CFU: 6<br>Date\/aule:<br>Ci sono due lezioni a settimana:<br>Marted\u00ec dalle 14:10 alle 15:50, Aula SAC19 (Ex P19).<br>Mercoled\u00ec dalle 09:10 alle 10:50, Aula SAC19 (Ex P19).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Descrizione del corso I temi del corso sono i teoremi di incompletezza di G\u00f6del e la logica algebrica. Il corso sar\u00e0 tenuto dal prof. Luca Spada (16 ore, i teoremi di G\u00f6del) e dalla prof.ssa Serafina Lapenta (32 ore, logica algebrica). Frequenza La frequenza non \u00e8 obbligatoria ma \u00e8&nbsp;fortemente consigliata. Contenuti Il corso coprir\u00e0 i [&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-2288","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\/2288","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=2288"}],"version-history":[{"count":3,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/2288\/revisions"}],"predecessor-version":[{"id":2292,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/2288\/revisions\/2292"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=2288"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=2288"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=2288"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}