Le equazioni di London-London e la quantizzazione del flusso magnetico nella superconduttività

Nella prima sezione di questo lavoro verranno esposti i ragionamenti fisici alla base della scrittura delle equazioni di London-London (1935), capaci di descrivere due importanti fenomeni riguardanti i materiali superconduttori quali la conduttività perfetta (resistenza nulla) e il diamagnetismo perfetto (Effetto Meissner). Verrà in essa infine brevemente descritto l'effetto della più generale conservazione del flusso magnetico nei superconduttori secondo il modello classico. Nella seconda sezione verrà esposto il ragionamento alla base della scrittura del Modello Quantistico Macroscopico, proposto da F.London nel 1948 per cercare di unificare la descrizione elettrodinamica classica della superconduttività con la meccanica quantistica, attraverso la scrittura di una funzione d'onda macroscopica capace di descrivere l'intero ensemble di portatori di carica superelettronici nel loro moto di conduzione.Esso permetterà di prevedere il fenomeno della quantizzazione del flusso magnetico intrappolato da una regione superconduttrice molteplicemente connessa.

Implementazione del frontend di una app Android per la didattica della deduzione naturale.

All'interno del presente elaborato vengono illustrate le scelte progettuali e l'implementazione del frontend dell'applicazione "LogicPlayer", un'App didattica per la risoluzione di alberi di Deduzione Naturale realizzata per sistemi Android

Firma digitale e algoritmo DSA

La firma digitale è uno degli sviluppi più importanti della crittografia a chiave pubblica, che permette di implementarne le funzionalità di sicurezza. La crittografia a chiave pubblica, introdotta nel 1976 da Diffie ed Hellman, è stata l'unica grande rivoluzione nella storia della crittografia. Si distacca in modo radicale da ciò che l'ha preceduta, sia perché i suoi algoritmi si basano su funzioni matematiche e non su operazioni di sostituzione e permutazione, ma sopratutto perché è asimmetrica: prevede l'uso di due chiavi distinte (mentre nelle crittografia simmetrica si usa una sola chiave condivisa tra le parti). In particolare, le funzioni matematiche su cui si basa tale crittografia sono funzioni ben note nella Teoria dei Numeri: ad esempio fattorizzazione, calcolo del logaritmo discreto. La loro importanza deriva dal fatto che si ritiene che siano 'computazionalmente intrattabili' da calcolare. Dei vari schemi per la firma digitale basati sulla crittografia a chiave pubblica, si è scelto di studiare quello proposto dal NIST (National Institute of Standard and Technology): il Digital Signature Standard (DSS), spesso indicato come DSA (Digital Signature Algorithm) dal nome dell'algoritmo che utilizza. Il presente lavoro è strutturato in tre capitoli. Nel Capitolo 1 viene introdotto il concetto di logaritmo discreto (centrale nell'algoritmo DSA) e vengono mostrati alcuni algoritmi per calcolarlo. Nel Capitolo 2, dopo una panoramica sulla crittografia a chiave pubblica, si dà una definizione di firma digitale e delle sue caratteristiche. Chiude il capitolo una spiegazione di un importante strumento utilizzato negli algoritmi di firma digitale: le funzioni hash. Nel Capitolo 3, infine, si analizza nel dettaglio il DSA nelle tre fasi che lo costituiscono (inizializzazione, generazione, verifica), mostrando come il suo funzionamento e la sua sicurezza derivino dai concetti precedentemente illustrati.

Implementazione del backend di una app Android per la didattica della deduzione naturale

Questo elaborato di tesi illustra la realizzazione del back-end di LogicPlayer, un'app Android per la didattica della Deduzione Naturale

Dante ha copiato? La questione delle fonti islamiche della Divina Commedia

Nel 1919 l'arabista spagnolo Miguel Asín Palacios dà alle stampe La Escatologìa musulmana en la Divina, in cui, attraverso una serie impressionante di analogie, dimostra l'esistenza di un rapporto «modello-copia» tra le narrazioni musulmane del viaggio ultraterreno di Maometto e la Divina Commedia. Questa controversa opera sarà la scintilla di una polemica, che ancora oggi, a distanza di cento anni rimane aperta e sconosciuta ai più. Questo è il motivo che mi ha spinta a trattare questo argomento nel presente elaborato: il mio scopo è quello di fornire una sintesi della Questione delle fonti islamiche della Divina Commedia, mostrare una panoramica dell'evoluzione del dibattito e dimostrare come, quelle che nell'opera di Palacios erano solo ipotesi, si siano rivelate essere, entro certi limiti, una realtà. Che il Medioevo europeo fosse saturo di pensiero e di arte islamica è innegabile: affermare che Dante, con la sua universale curiositas, si astenne completamente da questi influssi sembra indicare soltanto un certo disagio dei critici italiani nei confronti di questo mondo, a cui l'Europa guarda spesso solo attraverso eventi quali la guerra santa, la sottomissione della donna e il fanatismo. Proprio in un epoca come la nostra, in cui le barbare follie del fondamentalismo ci spingono a temere l'altro, questi studi assumono nuovo valore: la presenza di un'influenza islamica non rende meno grande il genio dantesco, anzi ne allarga gli orizzonti e rende la sua opera un esempio di interculturalità e di apertura profondamente attuale.

L'uso di interpretbank nella didattica dell'interpretazione: uno studio esplorativo

Negli ultimi anni la tecnologia ha svolto un ruolo sempre più importante nella formazione degli interpreti. All'interno del corso di Metodi e Tecnologie per l'Interpretazione si è quindi deciso di far conoscere agli studenti il software InterpretBank, programma sviluppato da Claudio Fantinuoli per assistere l'interprete durante tutte le fasi dell'interpretazione, dalla preparazione al lavoro in cabina. Le nuove generazioni di studenti usano quotidianamente le TIC e sono dunque molto recettivi alle innovazioni tecnologiche. Non avendo informazioni sul comportamento degli studenti nell'uso del software, si è deciso di condurre uno studio esplorativo che ha coinvolto un campione di studenti attualmente iscritti al corso di laurea magistrale in interpretazione. Dopo una fase formativa in cui gli studenti hanno imparato a conoscere e usare il software, si è svolta una simulazione finale nel corso della quale è stato osservato l'approccio degli studenti nell'uso di InterpretBank. La percezione del software da parte degli studenti è stata rilevata a mezzo questionario, i cui risultati sono stati confrontati con i dati raccolti durante la simulazione. Quanto emerso da questa analisi è poi stato confrontato con l'opinione di una giovane interprete freelance con esperienza presso le istituzioni europee. Dallo studio sono emersi dati interessanti. L'opinione degli studenti e dell'interprete riguardo al software è stata molto positiva. L'esperienza pratica nell'uso del software si è dimostrata utile per sviluppare negli studenti la consapevolezza del corretto uso del software. Sono emersi anche aspetti problematici. Gli studenti tendono infatti ad affidarsi troppo al software durante l'IS e il programma viene a volte percepito come fonte di distrazione che rende difficile concentrarsi sulla resa nel suo complesso. Si ritiene che un approccio graduale con esercizi mirati e l'esperienza pratica nell'uso del software possano aiutare gli studenti a comprendere come conciliare ricerca della terminologia e atto interpretativo, nonché ad imparare come suddividere l'attenzione durante l'IS.

Stretta tra due Mondi. La Transnistria tra identità del passato e incertezza del futuro.

La tesi si sviluppa attorno a 6 capitoli che, ripercorrendo le peculiarità storiche, linguistiche ed economiche di Moldova e Transnistria, tenteranno di mettere in luce i contrasti salienti del rapporto tra Chişinău e Tiraspol. Il capitolo 1 si concentra sulla comparazione di alcune fonti (provenienti da est e da ovest) che hanno ricostruito la storia della Moldova della Grande Romania e della Moldavia sovietica. In tal modo sarà possibile dimostrare che la regione di interesse è stata oggetto di una manipolazione intenzionale del proprio passato asservita ai centri di potere che miravano alla supremazia del territorio. Il capitolo 2 ripercorre le fasi dell’epoca di industrializzazione della Transnistria che, a partire dagli anni ’90, si suppone abbia permesso a Tiraspol di sganciarsi de facto dal governo moldavo. Il capitolo 3 si sofferma sui motivi che spinsero la popolazione del Dnestr ad appoggiare la secessione trascinandola nel conflitto del 1992. Una volta tracciata la cornice storica lungo i capitoli 1, 2 e 3, il capitolo 4 presenterà il multiforme panorama linguistico dell’attuale Repubblica Moldova soffermandosi sul ruolo della lingua russa, scintilla della secessione transnistriana. Il capitolo 5 offre uno spunto di riflessione sull’incidenza di Mosca nella separazione moldava per mezzo di uno studio dell’economia della Transnistria. Il capitolo 6, infine, rivela che gli argomenti trattati nel corso dei 5 capitoli precedenti sono tutti tasselli imprescindibili dell’identità nazionale transnistriana e permette di muovere alcune ipotesi sui metodi attuati da Tiraspol per garantire la fedeltà nazionale della propria popolazione facendo perno sul controllo dei mass media.

Gamification e micro-learning in app per l'apprendimento della matematica

Tesi sulla creazione di un'app che adotta i princìpi di gamification e micro-learning

Play on your CPU: la didattica giocosa dei principi di funzionamento dei processori tramite un'applicazione per sistemi mobili.

“Play on your CPU” è un'applicazione mobile per ambienti Android e iOS. Lo scopo di tale progetto è quello di fornire uno strumento per la didattica dei principi di funzionamento dei processori a chiunque sia interessato ad approfondire o conoscere questi concetti.

Sulla precisazione matematica delle scoperte astronomiche nel corso dei secoli: gli esempi dei satelliti di Giove e dei pianeti Urano e Nettuno

Dai Sumeri a Galileo lo studio dei cinque pianeti conosciuti era stato effettuato ad occhio nudo e aveva consentito di comprendere le modalità del loro moto. Con Galileo gli strumenti tecnologici sono posti a servizio della scienza, per migliorare le prestazioni dei sensi umani. La ricerca subisce così una netta accelerazione che porta, nell'arco di soli tre secoli, alla scoperta dei satelliti di Giove e dei pianeti Urano e Nettuno. Quest'ultima è considerata il trionfo della matematica perché effettuata esclusivamente con lunghi e complessi calcoli.

La logica del secondo ordine e la prova ontologica di Gödel

Nel mio lavoro ho deciso di dedicare il primo capitolo all'evoluzione della prova ontologica nella storia della filosofia e della logica e all'analisi, da un punto di vista logico, della prova di Gödel. Nella prima sezione, quindi, ho riportato l'argomentazione di Anselmo d'Aosta, il primo a proporre una prova ontologica, e a seguire quelle di Scoto, Spinoza, Leibniz e Russell, evidenziando dove opportuno le critiche ad esse apportate. Nella seconda sezione ho ripercorso le tappe della prova ontologica di Gödel e ho riportato e analizzato alcuni dei passaggi logici tratti da uno dei suoi taccuini. Nel secondo capitolo ne ho analizzato in particolare la logica del secondo ordine. Inoltre ho dedicato la prima sezione a un breve richiamo di logica modale S5. Ho infine brevemente trattato un caso particolare della logica del secondo ordine, vale a dire la logica del secondo ordine debole.

Il principio dei lavori virtuali e sue applicazioni

Scopo di questa tesi è la trattazione del Principio dei lavori virtuali, il quale si inserisce nel contesto della meccanica classica dei sistemi di punti materiali. Tale principio viene utilizzato per affrontare problemi di statica quali l'equilibrio di un sistema meccanico, ma risulta centrale anche nel contesto più generale della dinamica. Per quanto riguarda i problemi di statica, il principio dei lavori virtuali è un metodo alternativo alle equazioni cardinali, che rappresentano una condizione necessaria e sufficiente per l'equilibrio dei soli corpi rigidi, quindi si occupano di un contesto più limitato.

Insegnanti vs polinomi: un carosello tra appunti e libri di testo

Il mio lavoro di tesi parte dall’idea di voler indagare su quanto fatto in una normale azione d’aula nel momento in cui vengono presentati i polinomi, ovvero nel momento in cui si presenta agli studenti quello che comunemente viene chiamato “calcolo letterale”. In questo passaggio, un ruolo fondamentale è quello rivestito dagli insegnanti, oltre che dai libri di testo, e per questo ho deciso di seguire come i primi affrontano l’argomento polinomi in classe: come e se questi vengono definiti, e se le definizioni utilizzate sono delle vere e proprie definizioni formali, o seguono altri schemi.

Il senso del numero: uno studio sperimentale.

Lo scopo di questo lavoro è costruire uno strumento per valutare il senso del numero negli studenti di due scuole secondarie di primo grado, l'una che predilige una didattica di stampo tradizionale, l'altra innovativa. Dopo aver descritto il senso del numero nelle quattro componenti cognitive e comportamentali individuate si analizzano i risultati dei suddetti studenti ad un test, composto da quesiti presi dalle valutazioni nazionali INVALSI ed internazionali TIMSS, i quali conducono ad osservare se e come una di queste ultime componenti è prevalente rispetto ad un'altra, e se il senso del numero può andare perso nel corso degli anni se si privilegia un approccio formale all'aritmetica piuttosto che la creazione di ambienti di apprendimento significativi che possano stimolare la creatività, la scoperta e la coproduzione di conoscenza.

I Modelli Comparativi delle Valutazioni in Matematica

Analisi dei modelli statistici alla base delle indagini di valutazione matematica e confronto tra Pisa e Timss