Argomento | Persone | Descrizione | |
---|---|---|---|
Associative rings and algebras aderente allo standard MSC | |||
Anelli e algebre dati da varie construzioni |
Lidia Angeleri Francesca Mantese |
Localizzazione di anelli. Epimorfismi di anelli. Anelli di endomorfismi di moduli tilting e cotilting. Leavitt path algebre. | |
Moduli, bimoduli e ideali |
Lidia Angeleri Francesca Mantese |
Scomposizioni indecomponibili. Approssimazioni. Purità. Proprietà di moduli sul loro anello degli endomorfismi. | |
Teoria delle rappresentazioni di anelli e algebre |
Lidia Angeleri |
Infinite dimensional modules over finite dimensional algebras. Classification of tilting objects in module categories and in associated geometric categories. | |
Category theory; homological algebra aderente allo standard MSC | |||
Algebra omologica |
Lidia Angeleri Francesca Mantese |
Teoria tilting. Congetture omologiche. Localizzazione in categorie abeliane e triangolate. | |
Categorie abeliane |
Lidia Angeleri Francesca Mantese |
Coppie di torsione e di cotorsione in categorie abeliane. Approssimazioni in categorie abeliane. Cuori di t-strutture associate a coppie di torsione. | |
General theory of categories and functors |
Enrico Gregorio |
Adjoint functors. Equivalence and dualities between module categories. Triangulated and derived functors. Equivalence and dualities between triangulated and derived categories. | |
Mathematical logic and foundations aderente allo standard MSC | |||
Il programma di Hilbert per la matematica astratta |
Peter Michael Schuster |
Estrarre il contenuto computazionale dalle dimostrazioni classiche nella matematica concettuale. Sotto particolare considerazione sono le istanze matematiche della completezza logica che tipicamente appaiono come varianti del lemma di Zorn. | |
Philosophical aspects of logic and foundations |
Ruggero Ferro |
Several results in mathematical logic point out and explain the limitations, possibilities and advantages of formalization (the use of formal languages). An increasing precision in determining of the role of formal languages is basic to a critical attitude in philosophy of mathematics, spotting untenable positions and supporting others. An empiricist point of view is being developed that overcomes the vagueness and difficulties of know presentations. This type of research has developed, and will continue to support, competences on the following themes: Mathematical logic; Understanding, acquiring, and constructing basic mathematical notion, in particular the primitive ones; The role of logic in the construction and acquisition of mathematical notions; The role of the language in mathematics; The role of formalism in mathematics; Mathematics teacher’s initial and life long education; Mathematical motivations for the teaching of mathematics. | |
Teoria della dimostrazione e matematica costruttiva |
Peter Michael Schuster |
La teoria della dimostrazione si occupa delle dimostrazione matematiche, che in tal modo diventano oggetti della matematica. L'obiettivo è capire “cosa si può dimostrare con cosa” e ottenere informazione computazionale dalle dimostrazioni. La matematica costruttiva mira a dimostrazioni dirette da cui si possono estrarre algoritmi; ogni tale algoritmo viene fuori con un certificato di correttezza gratuito, che è la dimostrazione originale. | |
General logic aderente allo standard MSC | |||
proof theory, Linear logic, Type theory |
Andrea Masini Margherita Zorzi |
Sequent calculi for modal, linear and temporal logics. Natural deduction systems for modal, linear and temporal logics. Labelled deductive systems. Type systems for CPS. Proof nets for linear and classical logics. Deductive systems for quantum computability. |
Nome | Descrizione | URL |
---|---|---|
Algebra | Il gruppo si occupa di teoria delle rappresentazioni di algebre | http://profs.sci.univr.it/~angeleri/RT%20Verona.html |
INdAM - Unità di Ricerca dell'Università di Verona | Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona | |
Logica | Logica in matematica ed informatica. | https://www.logicverona.it/ |
Quantum Informatics Laboratory - QUILAB | Laboratorio di Informatica Quantistica | https://quilab.github.io |