Direcció de treballs

Treballs Fi de Màster

3. Límites y colímites categoriales

  José Nicolás Reynoso Erazo, 2023.

2. El Teorema de Kleene per a àlgebres heterogènies

  Nofre Sanmartín Vich, 2020.

1. Extension de grups de tipus Gaschütz i el graf de Cayley

  Neus Fuster i Corral, 2016.

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.

15. Verificació formal de formes equivalents de l’axioma d’elecció

  Vicent Pons Llopis, 2024.

14. La dualitat de Stone

  Ivan Jorro Medina, 2023.

13. Bases de dades distribuïdes per blocs - Blockchain

  Irene Barrera Bernad, 2023.

12. Autòmats finits i llenguatges formals

  Carmen Tudela Esparza, 2023.

11. Àlgebra Universal

  Rosa Puig Victoria, 2023.

10. Llenguatges formals i autòmats finits

  Nuria Gallego Ariño, 2023.

9. Formes bilineals

  Octavi Calatayud Vañó, 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.