Elementos de linguagem e lógica matemática: lógica proposicional (exemplos, contraexemplos, recíproca, contra positiva); predicados, conectivos lógicos, negação e quantificadores; demonstrações. Números naturais; os axiomas de Peano, o princípio da boa ordenação, o princípio da indução. Números reais; limites de sequência; completude dos números reais. Limites e continuidade.
Informações Básicas
Obrigatória:
- Mattuck, A (1999). Introduction to analysis. Prentice Hall.
- Lima, E. L. (2003). Análise Real, Volume 1. IMPA.