Ver el código de «Lógica computacional y teoría de modelos (2019-20)» - Lógica computacional y teoría de modelos (2019-20)

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 Universitario en Matemáticas] de la [http://www.us.es 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.
* [[Aplicaciones y casos de estudio]]: Aplicaciones y casos de estudio presentados en clase.


-->