Diferencia entre revisiones de «Razonamiento automático (2016-17)»
De Razonamiento automático (2016-17)
m (Protegió «Razonamiento automático (2016-17)» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) |
(→Material para el curso) |
||
| Línea 8: | Línea 8: | ||
* [[Sistemas]]: Sistemas utilizados. | * [[Sistemas]]: Sistemas utilizados. | ||
* [http://www.glc.us.es/~jalonso/vestigium/tag/ra2016 Diario]: Descripción diaria de las clases. | * [http://www.glc.us.es/~jalonso/vestigium/tag/ra2016 Diario]: Descripción diaria de las clases. | ||
| + | * [https://github.com/jaalonso/RA20116 GitHub]: Curso en GitHub. | ||
Revisión del 11:52 6 nov 2016
Razonamiento automático (2016-17)
Este sitio contiene materiales del curso Razonamiento automático del Máster Universitario en Lógica, Computación e Inteligencia Artificial 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.
- Diario: Descripción diaria de las clases.
- GitHub: Curso en GitHub.