El pensamiento matemático es crucial en todas las áreas de la informática: algoritmos, bioinformática, gráficos por computadora, ciencia de datos, aprendizaje automático, etc.

En este curso, aprenderemos las herramientas más importantes que se utilizan en las matemáticas discretas: inducción, recursividad, lógica, invariantes, ejemplos, optimalidad.

Usaremos estas herramientas para responder preguntas típicas de programación como: ¿Cómo podemos estar seguros de que existe una solución? ¿Estoy seguro de que mi programa calcula la respuesta óptima? ¿Cada uno de estos objetos cumple con los requisitos dados? En el curso, utilizamos un enfoque de prueba esto antes de que lo expliquemos todo: resolverá muchos acertijos interactivos (y aptos para dispositivos móviles) que fueron cuidadosamente diseñados para permitirle inventar muchas de las ideas y conceptos importantes usted mismo.

Prerrequisitos: 1.

Asumimos solo matemáticas básicas (p.

ej.

, esperamos que sepas qué es un cuadrado o cómo sumar fracciones), sentido común y curiosidad.

2.

Se necesitan conocimientos básicos de programación, ya que algunos cuestionarios requieren programación en Python.