Diferencia entre revisiones de «Razonamiento automático (2017-18)»
De Razonamiento automático (2017-18)
(Página creada con '== Razonamiento automático (2017-18) == Este sitio contiene materiales del curso ''Razonamiento automático'' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Comp...') |
|||
| (No se muestran 2 ediciones intermedias del mismo usuario) | |||
| Línea 1: | Línea 1: | ||
| − | |||
Este sitio contiene materiales del curso ''Razonamiento automático'' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Computación_e_Inteligencia_Artificial Máster Universitario en Lógica, Computación e Inteligencia Artificial] de la [http://www.us.es Universidad de Sevilla]. | Este sitio contiene materiales del curso ''Razonamiento automático'' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Computación_e_Inteligencia_Artificial Máster Universitario en Lógica, Computación e Inteligencia Artificial] de la [http://www.us.es Universidad de Sevilla]. | ||
| Línea 8: | Línea 7: | ||
* [[Sistemas]]: Sistemas utilizados. | * [[Sistemas]]: Sistemas utilizados. | ||
* [http://www.glc.us.es/~jalonso/vestigium/tag/ra2017 Diario]: Descripción diaria de las clases. | * [http://www.glc.us.es/~jalonso/vestigium/tag/ra2017 Diario]: Descripción diaria de las clases. | ||
| − | |||
Revisión actual del 20:16 14 jul 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.