[21-04-2021, 17:47] Nueva versión de las notas teóricas donde se corrigieron erratas de tipeo o se mejoró la presentación (e.g. Sec. 1.7: re-escritura de los métodos para probar la igualdad de dos conjuntos, Sec. 3.3: PIM segundo ejemplo, errata detectada en la clase de hoy, etc.).