DEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES

Vista sencilla de ítem
dc.contributor.authorTórtola Vivo, Francisco
dc.date.accessioned2023-12-19T13:00:02Z
dc.date.available2023-12-19T13:00:02Z
dc.date.issued2023-12-18
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.abstractEn este trabajo se explica el funcionamiento de Lean, un asistente de verificación formal de teoremas matemáticas, para ello se ven demostraciones en distintos ámbitos de las matemáticas. También se ve funcionalidad de este lenguaje y se explican conceptos de los asistentes de demostración.
dc.identifier.urihttps://hdl.handle.net/10115/27470
dc.language.isospa
dc.publisherUniversidad Rey Juan Carlos
dc.rights
dc.rights.accessRightsinfo:eu-repo/semantics/embargoedAccess
dc.rights.uri
dc.subjectDemostración
dc.subjectLean
dc.subjectAsistente de verificación
dc.subjectFormalización
dc.subjectProgramación funcional
dc.subjectTipos dependientes
dc.subjectLenguaje de demostración
dc.titleDEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES
dc.typeinfo:eu-repo/semantics/studentThesis

Archivos

Bloque original

Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
2023-24-ETSII-A-2315-2315050-f.tortola.2018-MEMORIA.pdf
Tamaño:
507.16 KB
Formato:
Adobe Portable Document Format
Descripción:
Memoria del TFG
Descargar

Colecciones

Trabajos Fin de Grado