Diferencia entre revisiones de «Razonamiento automático (2013-14)»
De Razonamiento automático (2013-14)
m (Protegió «Razonamiento automático (2013-14)» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) |
|||
| Línea 1: | Línea 1: | ||
| − | == | + | == Razonamiento automático (2013-14) == |
| + | 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]. | ||
| − | == | + | == Material para el curso == |
| − | + | * [[Temas]]: Teorías de los temas. | |
| − | + | * [[Ejercicios]]: Relaciones de ejercicios. | |
| − | + | * [[Documentación]]: Lecturas recomendadas. | |
| − | + | * [http://goo.gl/YdTZW Diario]: Descripción diaria de las clases. | |
| − | |||
| − | |||
| − | * | ||
Revisión del 07:58 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.