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...') |
(→Demostración automática de teoremas (2014-15)) |
||
| (No se muestra una edición intermedia de otro usuario) | |||
| Línea 1: | Línea 1: | ||
| − | |||
Este sitio contiene materiales del curso ''Demostración automática de teoremas'' del [http://www.matematicas.us.es/estudios/master-u-matematica-avanzada Máster Universitario en Matemática Avanzada] de la [http://www.us.es Universidad de Sevilla]. | Este sitio contiene materiales del curso ''Demostración automática de teoremas'' del [http://www.matematicas.us.es/estudios/master-u-matematica-avanzada Máster Universitario en Matemática Avanzada] de la [http://www.us.es Universidad de Sevilla]. | ||
| Línea 5: | Línea 4: | ||
* [[Temas]]: Teorías de los temas. | * [[Temas]]: Teorías de los temas. | ||
* [[Ejercicios]]: Relaciones de ejercicios. | * [[Ejercicios]]: Relaciones de ejercicios. | ||
| + | * [[Trabajos]]: Teorías para desarrollar. | ||
* [[Documentación]]: Lecturas recomendadas. | * [[Documentación]]: Lecturas recomendadas. | ||
* [[Sistemas]]: Sistemas utilizados. | * [[Sistemas]]: Sistemas utilizados. | ||
Revisión actual del 21:15 15 jul 2018
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.
- Trabajos: Teorías para desarrollar.
- Documentación: Lecturas recomendadas.
- Sistemas: Sistemas utilizados.