Cálculo I

Limites, derivadas e integrais via abordagem rigorosa (ε-δ). Uso do Spivak para construir intuição formal antes da mecanização.