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:

• Carga horária: 45 horas;
• Pré-requisito: Não se aplica.

Bibliografia Obrigatória:

• Mattuck, A (1999). Introduction to analysis. Prentice Hall;
• Lima, E. L. (2003). Análise Real, Volume 1. IMPA.