Diferencia entre revisiones de «Razonamiento automático (2018-19)»
De Razonamiento automático (2018-19)
(Página creada con «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…») |
|||
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]. |
== Material para el curso == | == Material para el curso == |
Revisión del 21:19 15 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.