dc.contributor.author | Blázquez Teixeira, Sergio | |
dc.date.accessioned | 2024-04-26T16:00:02Z | |
dc.date.available | 2024-04-26T16:00:02Z | |
dc.date.issued | 2024-04-26 | |
dc.identifier.uri | https://hdl.handle.net/10115/32579 | |
dc.description | Trabajo 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.abstract | Demostración de teoremas y ejercicios lógicos utilizando Scala, y la correspondencia de Curry-Howard. | |
dc.language.iso | spa | |
dc.publisher | Universidad Rey Juan Carlos | |
dc.rights | Creative Commons Atribución-CompartirIgual 4.0 Internacional | |
dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/legalcode | |
dc.subject | Scala | |
dc.subject | Curry-Howard | |
dc.subject | Lógica | |
dc.subject | Programación funcional | |
dc.subject | Demostración de teoremas | |
dc.subject | Deducción natural | |
dc.subject | Método de resolución | |
dc.subject | Knights and Knaves | |
dc.title | DEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES | |
dc.type | info:eu-repo/semantics/studentThesis | |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |