Diferencia entre revisiones de «Página principal»
De Lógica matemática y fundamentos (2018-19)
Línea 2: | Línea 2: | ||
== Material para el curso == | == Material para el curso == | ||
− | * [[Temas]]: Teorías de los temas. | + | * [[Temas]]: Teorías de los temas en Isabelle/HOL. |
* [[Ejercicios]]: Relaciones de ejercicios. | * [[Ejercicios]]: Relaciones de ejercicios. |
Revisión del 12:20 7 feb 2019
Este sitio contiene materiales del curso Lógica matemática y fundamentos de 3º del Grado en Matemáticas de la Universidad de Sevilla.
Material para el curso
- Temas: Teorías de los temas en Isabelle/HOL.
- Ejercicios: Relaciones de ejercicios.