Treballs Fi de Grau
18. Propietats universals de límits i colímits en Lean
Laura Maria Pons Isidro, 2024.
17. Producte tensorial en espais vectorials
Juan Carlos Azcona Leiva, 2024.
16. El teorema de Cook-Levin
Alba Soler Moreno, 2024.
14. La dualitat de Stone
Ivan Jorro Medina, 2023.
13. Bases de dades distribuïdes per blocs - Blockchain
Irene Barrera Bernad, 2023.
11. Àlgebra Universal
Rosa Puig Victoria, 2023.
8. Lógica proposicional
Blanca Gimeno Arnandis, 2022.
7. Type theory and theorem proving in LEAN
Raúl Momblona Rodríguez, 2022.
6. Lògica categorial
Vicent Navarro Arroyo, 2022.
5. Els teoremes d’isomorfisme en àlgebres heterogènies
Raúl Ruiz Mora, 2021.
4. Axiomàtica de Zermelo Fraenkel Skolem per a la teoria de conjunts
Celia Sifre Armengol, 2021.
3. El primer teorema d’incompletesa de Gödel
Hermes Casani Mompó, 2020.
2. Caracterització de les congruències d’índex finit en el monoide lliure d’un generador
Pascual Pitarch Pérez, 2019.
1. Teoremas de decidibilidad en álgebras de relaciones
Adah Díaz Torres, 2018.