Diferencia entre revisiones de «Lógica computacional y teoría de modelos (2019-20)»
De Lógica computacional y teoría de modelos (2019-20)
Línea 8: | Línea 8: | ||
* [[Documentación]]: Cursos y libros recomendados. | * [[Documentación]]: Cursos y libros recomendados. | ||
* [[Sistemas]]: Sistemas utilizados. | * [[Sistemas]]: Sistemas utilizados. | ||
+ | * [[Ejercicios]]: Relaciones de ejercicios. | ||
<!-- | <!-- |
Revisión del 18:22 24 oct 2019
Esta es la página principal de la asignatura "Lógica computacional y teoría de modelos" del Máster Universitario en Matemáticas de la Universidad de Sevilla.
Material para el curso
- Temas: Temas.
- Ejercicios (19-20): Relaciones de ejercicios.
- Ejercicios evaluables (19-20): Ejercicios evaluables.
- Aplicaciones y casos de estudio (19-20): Aplicaciones y casos de estudio presentados en clase.
- Documentación: Cursos y libros recomendados.
- Sistemas: Sistemas utilizados.
- Ejercicios: Relaciones de ejercicios.