Lógica computacional y teoría de modelos (2019-20)
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 13:30 17 oct 2019 de Jalonso (discusión | contribuciones) (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…»)
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: Relaciones de ejercicios.
- Ejercicios evaluables: Ejercicios evaluables.
- Aplicaciones y casos de estudio: Aplicaciones y casos de estudio presentados en clase.
- Documentación: Cursos y libros recomendados.
- Sistemas: Sistemas utilizados.