Diferencia entre revisiones de «Razonamiento automático (2018-19)»
De Razonamiento automático (2018-19)
| Línea 6: | Línea 6: | ||
* [[Documentación]]: Lecturas recomendadas. | * [[Documentación]]: Lecturas recomendadas. | ||
* [[Sistemas]]: Sistemas utilizados. | * [[Sistemas]]: Sistemas utilizados. | ||
| − | * [ | + | * [https://www.glc.us.es/~jalonso/vestigium/category/curso/ra/ra2018/ Diario]: Descripción diaria de las clases. |
Revisión actual del 15:30 20 oct 2018
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.