Curso interativo
Das definições a uma aritmética executável¶
O objetivo não é apenas obter resultados: cada definição matemática será ligada à representação de dados e ao código Python.
Ponto de partida
Variáveis, funções, classes e condicionais básicas de Python são pré-requisitos. Métodos especiais, decoradores e dataclasses serão explicados quando necessários.
Como estudar¶
Cada capítulo começa pela definição, passa pelo código real e pede uma previsão. Só execute depois de anotar o que espera observar.
Definição matemática
Separe primeiro os axiomas das definições construídas sobre eles.
Representação dos dados
Localize como o objeto matemático é guardado em um valor Python.
Implementação em Python
Relacione cada caso da definição a um ramo do método real.
Capítulos¶
- 00 · Mecanismos de Python necessários para o curso
- 01 · Naturais: zero, sucessor e recursão
- 02 · Inteiros: representantes e equivalência
- 03 · Racionais: produtos cruzados e redução
- 04 · Polinômios: coeficientes e sequências de Sturm
- 05 · Raízes algébricas reais: isolamento e bisseção
Ao final, você poderá justificar um log a partir dos axiomas e do código, em vez de apenas repetir a saída.