{"id":783,"date":"2016-09-12T09:49:32","date_gmt":"2016-09-12T08:49:32","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/lucaspada\/?page_id=783"},"modified":"2026-03-27T15:09:05","modified_gmt":"2026-03-27T14:09:05","slug":"courses","status":"publish","type":"page","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/courses\/","title":{"rendered":"Attivit\u00e0 didattica"},"content":{"rendered":"\n<p>Per alcuni esempi di argomenti di tesi si veda <a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/argomenti-tesi\/\">questa pagina<\/a>.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">2025\/26<\/h2>\n\n\n\n<p><a href=\"https:\/\/elearning.unisa.it\/course\/view.php?id=9879\">Logica Matematica<\/a> (pagina Moodle)<\/p>\n\n\n\n<p><a href=\"https:\/\/elearning.unisa.it\/course\/view.php?id=9869\">Fondamenti della Matematica<\/a> (pagina Moodle)<\/p>\n\n\n\n<p><a href=\"https:\/\/elearning.unisa.it\/course\/view.php?id=9881\">Algebra Universale e Teoria delle Categorie<\/a> (pagina Moodle)<\/p>\n\n\n\n<p>Lattice-ordered groups and polyhedral geometry (PhD course)<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">2024\/25<\/h2>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/2210-corso-di-logica-matematica-2024-25\/\">Logica Matematica<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/2215-corso-di-fondamenti-della-matematica-2024-25\/\">Fondamenti della Matematica<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/2213-corso-di-algebra-universale-e-teoria-delle-categorie-2024-25\/\">Algebra Universale e Teoria delle Categorie<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/2288-corso-di-istituzioni-di-logica-2024-25\/\" data-type=\"post\" data-id=\"2288\">Istituzioni di Logica<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">2023\/24<\/h2>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1987-corso-di-logica-matematica-2023-24\/\" data-type=\"post\" data-id=\"1987\">Logica Matematica<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1991-corso-di-fondamenti-della-matematica-2023-24\/\" data-type=\"post\" data-id=\"1991\">Fondamenti della Matematica<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1989-corso-di-algebra-universale-e-teoria-delle-categorie-2023-24\/\" data-type=\"post\" data-id=\"1989\">Algebra Universale e Teoria delle Categorie<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1993-corso-di-logica-per-lanno-0-diin-2023-24\/\" data-type=\"post\" data-id=\"1993\">Logica per l&#8217;anno di preparazione di Ingegneria<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/2165-phd-course-on-lattice-ordered-groups-and-polyhedral-geometry-spring-2024\/\">Lattice-ordered groups and polyhedral geometry (PhD course)<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">2022\/23<\/h2>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1854-corso-di-logica-matematica-2022-23\/\">Logica Matematica<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1851-corso-di-fondamenti-della-matematica-2022-23\/\">Fondamenti della Matematica<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1928-corso-di-algebra-universale-e-teoria-delle-categorie-2022-23\/\" data-type=\"post\" data-id=\"1928\">Algebra Universale e Teoria delle Categorie<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1867-phd-course-on-lattice-ordered-groups-and-polyhedral-geometry-spring-2023\/\">Lattice-ordered groups and polyhedral geometry (PhD course)<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">2021\/22<\/h2>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1748-corso-di-logica-matematica-2021-22\/\" data-type=\"post\" data-id=\"1748\">Logica Matematica<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1754-corso-di-fondamenti-della-matematica-2021-22\/\" data-type=\"post\" data-id=\"1754\">Fondamenti della Matematica<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1813-corso-di-algebra-universale-2021-22\/\">Algebra Universale<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1794-teoria-delle-categorie-corso-di-dottorato-2021-22\/\">Teoria delle categorie<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">2020\/21<\/h2>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1607-corso-di-logica-matematica-2020-21\/\" data-type=\"post\" data-id=\"1607\">Logica Matematica<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1659-corso-di-algebra-universale-2020-21\/\" data-type=\"post\" data-id=\"1659\">Algebra Universale<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1662-corso-di-matematiche-complementari-ii\/\" data-type=\"post\" data-id=\"1662\">Matematiche Complementari II<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1702-teoria-delle-categorie-corso-di-dottorato-2020-21\/\" data-type=\"post\" data-id=\"1702\">Teoria delle categorie<\/a><\/p>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2019\/20<\/h2>\n\n\n\n<p><strong><em>On sabbatical leave.<\/em><\/strong><\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2018\/19<\/h2>\n\n\n\n<p><strong><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1506-an-introduction-to-topos-theory-phd-course-2018-19\/\">An introduction to Topos Theory<\/a> <\/strong>(PhD course). Phd in Mathematics and Physics (Universit\u00e0 di Salerno).<\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1415-logica\/\"><strong>Logica Matematica<\/strong>&nbsp;<strong>1<\/strong><\/a> (7&nbsp;CFU). Laurea Triennale in&nbsp;<em>Matematica<\/em>&nbsp;(Universit\u00e0 di Salerno).<\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1398-ing\/\"><strong>Matematica I<\/strong> <\/a>&nbsp;(9 CFU) Lauree&nbsp;Triennali in <em>Ingegneria Meccanica e Gestionale<\/em>&nbsp;(Universit\u00e0 di Salerno).<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2017\/18<\/h2>\n<\/div>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1336-cat-phd\/\"><strong>Category Theory<\/strong><\/a> (PhD course). &nbsp;Phd in Mathematics and Physics (Universit\u00e0 di Salerno).<\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1108-corso-di-logica-matematica-1\/\"><strong>Logica Matematica<\/strong>&nbsp;<strong>1<\/strong><\/a> (7&nbsp;CFU). Laurea Triennale in&nbsp;<em>Matematica<\/em>&nbsp;(Universit\u00e0 di Salerno).<\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1032-1032\/\"><strong>Matematica I<\/strong> <\/a>&nbsp;(9 CFU) Lauree&nbsp;Triennali in <em>Ingegneria Meccanica e Gestionale<\/em>&nbsp;(Universit\u00e0 di Salerno).<\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1035-1035\/\"><strong>Matematica I<\/strong><\/a> (6 CFU) Laurea Triennale <em>Scienze Ambientali<\/em>&nbsp;(Universit\u00e0 di Salerno).<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2016\/17<\/h2>\n\n\n\n<p><strong><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/930-phd-course-on-category-theory-jan-feb-2017\/\">Category Theory<\/a><\/strong> (PhD course). &nbsp;Phd in Mathematics and Physics (Universit\u00e0 di Salerno)<\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/791-791\/\"><strong>Matematica I<\/strong><\/a> &nbsp;(9 CFU) Laurea in <em>Ingegneria Meccanica<\/em>&nbsp;(Universit\u00e0 di Salerno).<\/p>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/785-785\/\"><strong>Matematica I<\/strong><\/a> (6 CFU) Laurea Triennale <em>Scienze Ambientali<\/em>&nbsp;(Universit\u00e0 di Salerno).<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2015\/16<\/h2>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/631-memf\/\"><strong>Matematica per l&#8217;Economia e Matematica Finanziaria<\/strong><\/a> (10 CFU). &nbsp;Laurea in <em>Economia e Management<\/em> (Universit\u00e0 di Salerno).<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2014\/15<\/h2>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/490-mvl\/\"><strong>Many Valued Logics<\/strong><\/a> (6 CFU) M.Sc. in<em> Logic<\/em> (ILLC, University of Amsterdam, The Netherlands).<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2013\/14<\/h2>\n\n\n\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/402-course-on-algebra-and-coalgebra\/\"><strong>Capita Selecta in Modal Logic<\/strong><\/a> (6 CFU) M.Sc. in<em> Logic<\/em><em>&nbsp;(<\/em>ILLC, University of Amsterdam, The Netherlands).<\/p>\n\n\n\n<p><strong>Reading course on&nbsp;Duality Theory<\/strong> (6 CFU) M.Sc. in<em> Logic<\/em>&nbsp;(ILLC, University of Amsterdam, The Netherlands).<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2012\/13<\/h2>\n\n\n\n<p><strong>Teoria della computabilit\u00e0<\/strong>&nbsp; (6 CFU)&nbsp;Laurea Magistrale in<em> Matematica<\/em>&nbsp;&nbsp;(Universit\u00e0 di Salerno).<\/p>\n\n\n\n<p><strong>Logica I<\/strong> (1 CFU)&nbsp;Laurea triennale in <em>Matematica<\/em>&nbsp;(Universit\u00e0 di Salerno).<\/p>\n\n\n\n<p><strong>Matematica Discreta e Logica Matematica<\/strong>&nbsp;(3 CFU) &nbsp;Laurea Triennale in <em>Informatica<\/em>&nbsp;&nbsp;(Universit\u00e0 di Salerno).<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2011\/12<\/h2>\n\n\n\n<p><strong>Logica II<\/strong> (6 CFU) at the&nbsp;M.Sc. in <em>Computer Science<\/em> (University of Salerno).<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2010\/11<\/h2>\n\n\n\n<p><strong>Logica<\/strong> (MAT\/01, 6 CFU) Laurea Magistrale on <em>Psicologia Cognitiva<\/em>&nbsp; (Seconda Universit\u00e0 di&nbsp;Napoli).<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-group is-layout-flow wp-block-group-is-layout-flow\">\n<h2 class=\"wp-block-heading\">2009\/10<\/h2>\n\n\n\n<p><strong>Logica<\/strong> (MAT\/01, 4 CFU) Laurea Magistrale on&nbsp;<em>Psicologia Cognitiva<\/em>&nbsp; (Seconda Universit\u00e0&nbsp;di&nbsp;Napoli).<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Per alcuni esempi di argomenti di tesi si veda questa pagina. 2025\/26 Logica Matematica (pagina Moodle) Fondamenti della Matematica (pagina Moodle) Algebra Universale e Teoria delle Categorie (pagina Moodle) Lattice-ordered groups and polyhedral geometry (PhD course) 2024\/25 Logica Matematica Fondamenti della Matematica Algebra Universale e Teoria delle Categorie Istituzioni di Logica 2023\/24 Logica Matematica Fondamenti [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":2364,"parent":0,"menu_order":4,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-783","page","type-page","status-publish","has-post-thumbnail","hentry"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages\/783","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/page"}],"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=783"}],"version-history":[{"count":32,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages\/783\/revisions"}],"predecessor-version":[{"id":2324,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages\/783\/revisions\/2324"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media\/2364"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=783"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}