Diferencia entre revisiones de «Razonamiento automático (2013-14)»
De Razonamiento automático (2013-14)
| Línea 6: | Línea 6: | ||
* [[Ejercicios]]: Relaciones de ejercicios. | * [[Ejercicios]]: Relaciones de ejercicios. | ||
* [[Documentación]]: Lecturas recomendadas. | * [[Documentación]]: Lecturas recomendadas. | ||
| − | * [http:// | + | * [http://www.glc.us.es/~jalonso/vestigium/tag/ra2013 Diario]: Descripción diaria de las clases. |
Revisión del 08:22 24 oct 2013
Razonamiento automático (2013-14)
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.
- Diario: Descripción diaria de las clases.