Lógica computacional y teoría de modelos (2019-20) LCyTM2018 https://www.glc.us.es/~jalonso/LCyTM2018/index.php/L%C3%B3gica_computacional_y_teor%C3%ADa_de_modelos_(2019-20) MediaWiki 1.31.0 first-letter Medio Especial Discusión Usuario Usuario discusión LCyTM2019 LCyTM2019 discusión Archivo Archivo discusión MediaWiki MediaWiki discusión Plantilla Plantilla discusión Ayuda Ayuda discusión Categoría Categoría discusión 0 55 226 225 2020-01-20T08:45:18Z Mjoseh 2 wikitext text/x-wiki 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. --> 5vyhpn64r5ixvk951a2iqu62edo6q23