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)
(Página creada con «Esta es la página principal de la asignatura "Lógica computacional y teoría de modelos" del [https://matematicas.us.es/en/titulaciones/master-u-matematicas Máster Univ…») |
(→Material para el curso) |
||
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 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]]: Relaciones de ejercicios. | ||
* [[Ejercicios evaluables]]: Ejercicios evaluables. | * [[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 17:07 17 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.