Tesi

LAUREA MAGISTRALE IN MATEMATICA

• A. Al Naber: "Strutture implicative"- correlatore

• M.Brazzale: "Analisi di una sperimentazione didattica: risultati, osservazioni e sviluppi"- relatore

• M.Capucci: "Internal mathematics for stochastic calculus: a tripos-theoretic approach"- relatore. Vincitore premio AILA 3+2 2021

• S.Gambarin: "The Four Color Theorem: from Graph Theory to proof assistants."-relatore. 

• I. De Marchi: "L'insegnamento della combinatoria. Un'esperienza didattica basata sul principio fondamentale del calcolo combinatorio mediante un approccio per problemi"- relatore

• C. Paoli: "L’implicazione logica: aspetti matematici e didattici. Un approccio interdisciplinare all’insegnamento della logica nella scuola secondaria"- relatore

• E. Pozzan: "Implicative algebras and their relationship with triposes"-relatore-laurea magistrale in Matematica

• P.Sabelli: "Internalizzazione della teoria dei tipi"- relatore- laurea magistrale in Matematica. Vincitore premio AILA 3+2 2021

• S. Schincariol: "Intuitionistic modal logic" -relatore

• D. Veca: "Alcuni aspetti dei fondamenti della misura di Lebesgue e sue estensioni sui reali."-relatore

LAUREA TRIENNALE IN MATEMATICA

• J. Allegro: "I numeri reali computabili"- relatore

• A.Cattelan: "L'assioma di infinito, l'assioma delle parti e la gerarchia degli infiniti"-correlatore

• S. Conti: "Aspetti della teoria New Foundations di Quine"- relatore.

• B. Costa: "Fuzzy Sets: storia, teoria e applicazioni"-relatore

• G. Fontana: "L'algebra di Boole dal 1854 ad oggi"- relatore.

• S. Gambarin: "Paradossi classici in teoria degli insiemi: un' analisi storica e fondazionale"- relatore

• D. Geronazzo: "Il concetto di cardinalità senza l'Assioma di Scelta"-relatore

• G. Navone: "On the categories of internal groups: general aspects and possible developments"- relatore

• J.P. Piccione: "Modelli a valori booleani e risultati di indipendenza in teoria degli insiemi"- relatore

• V.F.Saladino: "Equiconsistency of ZF-Inf and PA"-relatore

• D. Santacroce: "Anelli di funzioni a valori reali come modelli booleani della teoria dei campi" - relatore

• S. Schincariol: "Teoria di Galois da un punto di vista costruttivo" -correlatore

LAUREA MAGISTRALE A CICLO UNICO IN SCIENZE DELLA FORMAZIONE PRIMARIA

• A.Bressan: Il valore educativo-didattico dell'insegnamento della logica alla scuola primaria. Proposta di un percorso didattico sul tema delle deduzioni logiche in una classe terza primaria"- correlatore

• C.Cogo: "I giochi da tavolo per sviluppare il pensiero logico-Un’esperienza ludica per favorire la crescita del ragionamento nella scuola primaria"- correlatore

• I. Carraro:  "La realtà dei bambini nella didattica della geometria. Per un insegnamento autentico degli enti geometrici.​"- relatore

• A. Disegna: "Partiamo dai problemi! Percorso sperimentale volto alla comprensione profonda dell'addizione e della sottrazione a partire dai problemi."- relatore

• B. Ernesti Moro: "La logica entra in classe. Una ricerca sperimentale sull'insegnamento esplicito della logica in due classi quarte di scuola primaria."- relatore

• A. Fabbian: "Economicamente: lo sviluppo del pensiero economico alla scuola primaria"- relatore

• N. Ferrara: "Dati e previsione nell'insegnamento della matematica nella scuola primaria" - relatore

• L. Filipponi: "Il rapporto tra tridimensionalità e bidimensionalità: un percorso di geometria a partire dal contesto reale" - relatore

• G. Fortunato: "Una sperimentazione sul concetto di zero nella scuola dell'infanzia" - relatore (articolo tratto dalla tesi)

• L. Franco: " Il pensiero geometrico nella scuola primaria: tra realtà e astrazione." - correlatore

• M.Gaggio: " Effetti della didattica a distanza sull'apprendimento della matematica nella scuola primaria durante la crisi pandemica del 2020. Un'indagine rivolta agli insegnanti della regione Veneto" -relatore (articolo tratto dalla ricerca)

• C. Masiero: "Alleniamoci a ragionare. Un'esperienza didattica sulla conoscenza della logica e dei connettivi in una quarta primaria"- correlatore

• A. Mottinelli: "L’insegnamento della logica alla scuola primaria.  Alla scoperta del vero ruolo della logica, tra normative e libri di testo"- correlatore

• I. Pesavento: "Combinatoria alla scuola primaria: è possibile? Un’esperienza didattica in una classe quinta"- relatore

• S.Santolin: "I quesiti INVALSI in ambito non-geometrico in seconda primaria. Una classificazione incrociata e analisi dei risultati"- relatore

• M.Simeoni: "Le gare matematiche alla scuola Primaria. I buoni problemi nella costruzione della competenza"- relatore  (articolo tratto dalla ricerca)

• S. Simioni: "Valutazione di problemi e problemi di valutazione"- relatore

• L. Tomasin: "Il valore didattico della narrazione per l'insegnamento della protomatematica alla scuola dell'infanzia. Ricerca empirica sulla proposta di un percorso didattico sulla cardinalità numerica in una sezione della scuola dell’infanzia."- correlatore

• L.Vettore: "Gatti neri, gatti bianchi. Un percorso didattico sul linguaggio logico alla scuola dell'infanzia."- relatore

LAUREA TRIENNALE IN FILOSOFIA

• D.Settecasi: "La realizzabilità classica."- correlatore, Università di Pisa

LAUREA TRIENNALE IN FISICA

• L.Caliandro: "A topos-theoretic approach to quantum logic"- correlatore, Università di Padova