{"id":2319,"date":"2023-11-10T14:29:00","date_gmt":"2023-11-10T13:29:00","guid":{"rendered":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/?page_id=2319"},"modified":"2026-03-10T10:36:27","modified_gmt":"2026-03-10T09:36:27","slug":"argomenti-tesi","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/2319-argomenti-tesi\/","title":{"rendered":"Argomenti tesi (triennale o magistrale)"},"content":{"rendered":"\n<p>Ecco una lista di possibili temi per una tesi in matematica. Ovviamente questi sono solo suggerimenti, sono sempre felice di approfondire proposte degli studenti.<\/p>\n\n\n\n<p>In <a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/Consigli_per_la_scrittura_della_tesi.pdf\" data-type=\"attachment\" data-id=\"2344\">questo documento<\/a> ho raccolto alcuni consigli utili per la scrittura della tesi.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Laurea Triennale<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Logiche a pi\u00f9 valori e loro semantiche algebriche (in particolare logiche basate su t-norme: Lukasiewicz, G\u00f6del-Dummet o prodotto)<\/li>\n\n\n\n<li>Funzioni ricorsive e problemi indecidibili<\/li>\n\n\n\n<li>Logica intuizionista e costruttivismo<\/li>\n\n\n\n<li>Logica modale e ai modelli di Kripke<\/li>\n\n\n\n<li>Rappresentazioni geometriche della logica: le dualit\u00e0 di Stone, Priestley, Esakia, etc.<\/li>\n\n\n\n<li>Modelli, teorie e soddisfacibilit\u00e0: una introduzione alla teoria dei modelli<\/li>\n\n\n\n<li>Computabilit\u00e0, indecidibilit\u00e0 e limiti della formalizzazione<\/li>\n\n\n\n<li>Dimostrazioni e algoritmi: la corrispondenza Curry\u2013Howard.<\/li>\n\n\n\n<li>Il teorema di Lindstrom<\/li>\n\n\n\n<li>Il concetto di spazio in matematica<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Laurea Magistrale<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Poliedri e triangolazioni: dalla logica di \u0141ukasiewicz alla geometria PL<\/li>\n\n\n\n<li>Logica e probabilit\u00e0: ragionare con l\u2019incertezza<\/li>\n\n\n\n<li>Il teorema di Birkhoff in teoria delle categorie<\/li>\n\n\n\n<li>Teoria dei modelli per logiche non classiche<\/li>\n\n\n\n<li>La logica interna dei topos elementari<\/li>\n\n\n\n<li>Categorie e teoria dei tipi<\/li>\n\n\n\n<li>Categorie regolari e logiche coerenti<\/li>\n\n\n\n<li>Modelli algebrici della probabilit\u00e0 soggettiva<\/li>\n\n\n\n<li>Logica e teoria dell\u2019informazione: dall\u2019entropia alla conoscenza incerta<\/li>\n\n\n\n<li>Coalgebre e logica modale<\/li>\n\n\n\n<li>La dualit\u00e0 di Pontryagin<\/li>\n\n\n\n<li>La categoria degli spazi affini<\/li>\n\n\n\n<li>Logica e quantum: contestualit\u00e0 tramite le categorie<\/li>\n\n\n\n<li>Il Topos di Banach-Mazur<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Ecco una lista di possibili temi per una tesi in matematica. Ovviamente questi sono solo suggerimenti, sono sempre felice di approfondire proposte degli studenti. In questo documento ho raccolto alcuni consigli utili per la scrittura della tesi. Laurea Triennale Laurea Magistrale<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[],"class_list":["post-2319","post","type-post","status-publish","format-standard","hentry","category-news"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/2319","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=2319"}],"version-history":[{"count":4,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/2319\/revisions"}],"predecessor-version":[{"id":2345,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/2319\/revisions\/2345"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=2319"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=2319"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=2319"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}