Francesca

banner

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

Contatto: f.pratali2@studenti.unipi.it

Tutor alla Pari, Dipartimento di Matematica, Università di Pisa.

Tutor di Accoglienza per Matematica, CdL Agraria, Università di Pisa

banner

Tesi di Laurea Triennale in Matematica, relatore Dott. 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

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


Il mio curriculum (?)

Curriculum Studiorum