DEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES

Simple item page
dc.contributor.authorFernández Saavedra, Nerea
dc.date.accessioned2026-05-26T11:07:17Z
dc.date.issued2025-03-11
dc.descriptionTrabajo Fin de Grado leído en la Universidad Rey Juan Carlos en el curso académico 2024/2025. Directores/as: Juan Manuel Serrano Hidalgo
dc.description.abstractEste trabajo explora la relación entre la lógica matemática y la programación funcional, centrándose en el isomorfismo de Curry-Howard. Se analiza cómo los sistemas de demostración de Hilbert y la lógica combinatoria por un lado y los tipos algebraicos de dato y el sistema de deduccion natural por otro; pueden modelarse en Scala permitiendo formalizar demostraciones matemáticas mediante tipos y funciones. Se presentan ejemplos de teoremas lógicos implementados en código, destacando la equivalencia entre proposiciones lógicas y estructuras computacionales.
dc.identifier.urihttps://hdl.handle.net/10115/214237
dc.language.isospa
dc.publisherUniversidad Rey Juan Carlos
dc.rights.accessRightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectCurry-Howard
dc.subjectLogica
dc.subjectprogramacion funcional
dc.subjectHilbert
dc.subjectTipos algebraicos de Datos (TAD)
dc.subjectScala
dc.titleDEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES
dc.typeinfo:eu-repo/semantics/studentThesis

Files

Original bundle

Now showing 1 - 1 of 1
Name:
Memoria del TFG
Size:
993.63 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Name:
license.txt
Size:
2.96 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Trabajos Fin de Grado