DEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES

Vista sencilla de ítem
dc.contributor.authorBlázquez Teixeira, Sergio
dc.date.accessioned2024-04-26T16:00:02Z
dc.date.available2024-04-26T16:00:02Z
dc.date.issued2024-04-26
dc.descriptionTrabajo Fin de Grado leído en la Universidad Rey Juan Carlos en el curso académico 2023/2024. Directores/as: Juan Manuel Serrano Hidalgo
dc.description.abstractDemostración de teoremas y ejercicios lógicos utilizando Scala, y la correspondencia de Curry-Howard.
dc.identifier.urihttps://hdl.handle.net/10115/32579
dc.language.isospa
dc.publisherUniversidad Rey Juan Carlos
dc.rightsCreative Commons Atribución-CompartirIgual 4.0 Internacional
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/legalcode
dc.subjectScala
dc.subjectCurry-Howard
dc.subjectLógica
dc.subjectProgramación funcional
dc.subjectDemostración de teoremas
dc.subjectDeducción natural
dc.subjectMétodo de resolución
dc.subjectKnights and Knaves
dc.titleDEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES
dc.typeinfo:eu-repo/semantics/studentThesis

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
2023-24-ETSII-A-2032-2032037-s.blazquez.2019-MEMORIA.pdf
Tamaño:
1.05 MB
Formato:
Adobe Portable Document Format
Descripción:
Memoria del TFG
Descargar

Colecciones

Trabajos Fin de Grado