Diferencia entre revisiones de «Demostración automática de teoremas (2014-15)»
De Demostración automática de teoremas (2014-15)
(Página creada con '== Demostración automática de teoremas (2014-15) == Este sitio contiene materiales del curso ''Demostración automática de teoremas'' del [http://www.matematicas.us.es/estudi...') |
(Sin diferencias)
|
Revisión del 09:49 9 feb 2015
Demostración automática de teoremas (2014-15)
Este sitio contiene materiales del curso Demostración automática de teoremas del Máster Universitario en Matemática Avanzada de la Universidad de Sevilla.
Material para el curso
- Temas: Teorías de los temas.
- Ejercicios: Relaciones de ejercicios.
- Documentación: Lecturas recomendadas.
- Sistemas: Sistemas utilizados.