Mostrar el registro sencillo del ítem

DEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES

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.identifier.urihttps://hdl.handle.net/10115/32579
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.language.isospa
dc.publisherUniversidad Rey Juan Carlos
dc.rightsCreative Commons Atribución-CompartirIgual 4.0 Internacional
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
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess


Ficheros en el ítem

Nombre:
2023-24-ETSII-A-2032-2032037-s ...
Tamaño:
1.051Mb
Formato:
PDF
Descripción:
Memoria del TFG
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Creative Commons Atribución-CompartirIgual 4.0 InternacionalExcepto si se señala otra cosa, la licencia del ítem se describe como Creative Commons Atribución-CompartirIgual 4.0 Internacional