Módulo 1
Lógica e demonstrações
A base de todo raciocínio rigoroso: proposições, indução e invariantes de laço para provar que seu código está correto.
Curso online · 7 módulos · 21 aulas
Da lógica ao RSA, de Big-O à descida do gradiente. Entenda a matemática por trás do código que você escreve, com exemplos executáveis e exercícios comentados.
Cada conceito vira Python executável: você vê a fórmula e o programa lado a lado.
Mais de 40 exercícios comentados para fixar o raciocínio, não só decorar.
Só a matemática que aparece em algoritmos, ML, gráficos, criptografia e sistemas.
Pré-requisito: saber programar (os exemplos usam Python) e matemática do ensino médio.
Módulo 1
A base de todo raciocínio rigoroso: proposições, indução e invariantes de laço para provar que seu código está correto.
Módulo 2
Conjuntos, contagem e recorrências: a linguagem para estimar espaços de busca e analisar recursões.
Módulo 3
Notação O, Θ e Ω, o Teorema Mestre e análise amortizada, para prever como o código escala antes de rodá-lo.
Módulo 4
Vetores, matrizes e autovalores: o motor por trás de gráficos 3D, machine learning, PageRank e compressão.
Módulo 5
Do paradoxo do aniversário a Bayes e testes A/B: raciocinar sobre incerteza, colisões e algoritmos aleatorizados.
Módulo 6
Aritmética modular, o algoritmo de Euclides e o RSA construído do zero, em poucas linhas de Python.
Módulo 7
Grafos, caminhos mínimos, derivadas e descida do gradiente: a matemática de rotas, redes sociais e redes neurais.