Seminario de lógica computacional (2015-16)
El objetivo del seminario es presentar temas de lógica computacional que complenten a los estudiados en el Grado de Matemáticas
Material para el curso
- Temas: Transparencias de los temas y ejercicios.
- Documentación: Enlaces con documentación.
- Sistemas: Sistemas utilizados.