Quot erat demonstrandum. Curso cero de Matemáticas

Descripción de curso
Quot erat demonstrandum (Q.E.D.): “tal como queríamos demostrar”. Así, en latín, era como acababan las pruebas matemáticas de los resultados notables. Si lo más importante en matemáticas es la imaginación, después se tiene que formalizar, se debe probar lo imaginado, lo intuido. Así, se tiene que justificar razonadamente cada uno de los pasos que van desde la hipótesis hasta la tesis. De eso trata el curso, de introducir al estudiante en los diferentes tipos de pruebas matemáticas: reducción al absurdo, inducción, pruebas constructivas o geométricas. Además, se introducirá también la simbología y el formalismo propios de las matemáticas mediante dos temas, como son la teoría de conjunto elemental y los números complejos.

Módulo 0: Presentación
Módulo 1: La longitud de la diagonal de un cuadrado
Módulo 2: Notaciones, conjuntos y elementos
Módulo 3: Demostración por inducción y otras
Módulo 4: Números complejos