Francesca

banner

Francesca Pratali
Università di Pisa, Facoltà di Matematica.

Contatto: f.pratali2@studenti.unipi.it

banner

Il mio curriculum:

Curriculum Studiorum


La mia tesi di Laurea Triennale in Matematica. Il mio relatore era il Prof. Marcello Mamino.

The construction of real numbers in Homotopy Type Theory

Istituzioni di Algebra, Prof. T. Szamuely, aa 202/2021: una cospicua raccolta di esercizi svolti (english version only).

Exercises in homological and commutative algebra.

Qualche esercizio svolto di Teoria dei Fasci, correzioni del Prof. A. Vistoli.

Esercizi di Teoria dei Fasci

Teoria delle Categorie: slides seminario su infinito-categorie.

Infinito_Categorie

"Positive-Stellensatz e Real-Nullstellensatz per corpi reali chiusi": appunti seminario.

NSS e PositivSS via RealSpec

Dal corso di Geometria 2, Prof. Broglia e Prof. Gandini, aa 2018\2019

Sfera_di_Riemann

Compitini con soluzioni di Geometria e Topologia Differenziale (corso tenuto dal Prof. Le Donne, aa 2019\2020)

GTD-Curve.Testo

GTD-Curve.Soluzioni

GTD-Superfici.Testo

GTD-Superfici.Soluzioni

Uguaglianze in Homotopy Type Theory: uguaglianza proposizionale, uguaglianza tra termini, equivalenza omotopica.

Confronto Uguaglianza HoTT

Un esercizio sulle regole di inferenza

Logica_Proposizionale


Considerazioni varie:

Breve riflessione su Le Cose, di Georges Perec