DAO2012 (Demostración asistida por ordenador)
De Demostración asistida por ordenador (2012-13)
Revisión del 19:44 20 nov 2012 de Jalonso (discusión | contribuciones) (Protegió «DAO2012 (Demostración asistida por ordenador)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
Demostración asistida por ordenador
Este seminario es una introducción a la demostración asistida por ordenador usando el sistema Isabelle/HOL/Isar). Sus objetivos son:
- desarrollar la capacidad de razonamiento lógico,
- saber usar sistemas de razonamiento y
- desarrollar teorías matemáticas en sistemas de demostración automática.
Material para el curso
- Temas: Teorías de los temas.
- Ejercicios: Relaciones de ejercicios.
- Diario: Descripción diaria de las clases.