Acciones

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 en Isabelle/HOL.
+
* [[Temas]]: Transparencias y teorías de los temas.
 
* [[Ejercicios]]: Relaciones de ejercicios.
 
* [[Ejercicios]]: Relaciones de ejercicios.

Revisión del 12:22 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: Transparencias y teorías de los temas.
  • Ejercicios: Relaciones de ejercicios.