Curso interactivo
De las definiciones a una aritmética ejecutable¶
El objetivo no es solo obtener resultados: vincularemos cada definición matemática con su representación y su implementación en Python.
Damos por conocidas las variables, funciones, clases y condiciones básicas de Python. Explicaremos los métodos especiales, los decoradores y las dataclasses cuando sean necesarios.
Cómo estudiar el curso¶
Cada capítulo comienza con la definición, sigue con el código real y termina con una predicción. Ejecuta solo después de escribir qué esperas ver.
Distingue primero los axiomas de las definiciones construidas sobre ellos.
Localiza cómo se guarda el objeto matemático en un valor de Python.
Relaciona cada caso de la definición con una rama del método real.
Capítulos¶
- 00 · Mecanismos de Python necesarios para el curso
- 01 · Naturales: cero, sucesor y recursión
- 02 · Enteros: representantes y equivalencia
- 03 · Racionales: productos cruzados y reducción
- 04 · Polinomios: coeficientes y sucesiones de Sturm
- 05 · Raíces algebraicas reales: aislamiento y bisección
Al terminar, podrás justificar una traza a partir de los axiomas y del código, no solo repetir su salida.