Introduzione La teoria delle categorie è un linguaggio moderno, molto diverso da quello della teoria degli insiemi, in cui può essere formalizzata la matematica. Mentre il linguaggio degli insiemi ha come concetto fondamentale quello di appartenenza, il linguaggio della teoria…
News Descrizione del corso Il corso sarà tenuto dai prof. G. Vincenzi e L. Spada. L’obiettivo è fornire conoscenza degli aspetti fondazionali della matematica nel loro sviluppo storico. Frequenza La frequenza non è obbligatoria ma è fortemente consigliata. Contenuti La parte…
News Descrizione del corso Nei corsi di algebra dei primi anni si incontrano vari tipi di strutture: gruppi, anelli, campi, spazi vettoriali, etc. Molte tecniche utilizzate per il loto studio si rassomiglano e ci sono teoremi che si ripetono (es.…
News Descrizione del corso È richiesta familiarità con gli argomenti di base di algebra e teoria degli insiemi. Frequenza La frequenza non è obbligatoria ma è fortemente consigliata. Contenuti Il corso coprirà i seguenti argomenti: Più dettagliatamente, qui sotto saranno elencati…
Here you can find the slides of my talk Are locally finite MV-algebras a variety? presented at the Shanks Workshop on Ordered Algebras and Logic at Vanderbilt University (Nashville, US) and on Zoom for the Algebra|Coalgebra seminar of the ILLC…