DEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES
Datum:
2023-12-18
Zusammenfassung
En 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.
Beschreibung
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
Colecciones
- Trabajos Fin de Grado [3655]
Herramientas
https://eciencia.urjc.es/themes/Mirage2/lib/js/urjc.js
Estadísticas
BenutzungsstatistikCitas
Los ítems de digital-BURJC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario