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 3: | Línea 3: | ||
== Material para el curso == | == Material para el curso == | ||
* [[Temas]]: Temas. | * [[Temas]]: Temas. | ||
| − | * [[Ejercicios (19-20)]]: Relaciones de ejercicios | + | * [[Ejercicios (19-20)]]: Relaciones de ejercicios. |
* [[Ejercicios evaluables (19-20)]]: Ejercicios evaluables. | * [[Ejercicios evaluables (19-20)]]: Ejercicios evaluables. | ||
* [[Aplicaciones y casos de estudio (19-20)]]: Aplicaciones y casos de estudio presentados en clase. | * [[Aplicaciones y casos de estudio (19-20)]]: Aplicaciones y casos de estudio presentados en clase. | ||
| Línea 11: | Línea 11: | ||
* [[Ejercicios]]: Relaciones de ejercicios. | * [[Ejercicios]]: Relaciones de ejercicios. | ||
| + | |||
| + | |||
| + | * [[Ejercicios evaluables]]: Ejercicios evaluables. | ||
<!-- | <!-- | ||
| − | |||
* [[Aplicaciones y casos de estudio]]: Aplicaciones y casos de estudio presentados en clase. | * [[Aplicaciones y casos de estudio]]: Aplicaciones y casos de estudio presentados en clase. | ||
--> | --> | ||
Revisión del 20:11 29 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.
- Ejercicios evaluables: Ejercicios evaluables.