Ementa: Noções de lógica básica. Proposições, conectivos lógicos, algumas estratégias de demonstrações. Teoria ingênua de conjuntos. Operações básicas entre conjuntos. Cardinalidade. Principais tipos de funções reais a valores reais. Conjuntos numéricos. Sequências e séries numéricas. Noções de topologia na reta. Limite e continuidade de funções reais. A derivada de funções reais e suas aplicações. A integral de Riemann.