Familiarizar o aluno com a linguagem matemática e com a estrutura das demonstrações matemáticas, bem como com alguns fatos e noções elementares sobre números, conjuntos, funções e relações
Discurso matemático: leitura e escrita matemática. Estratégias de demonstrações. Princípio da indução finita. Sequências, somas, recorrências e contagem. Algoritmo de Euclides. Divisibilidade nos inteiros. Sistemas de numeração. MDC e MMC. Teorema de Bézout. Teorema fundamental da aritmética. Congruências. O anel dos inteiros módulo m. Os corpos Zp. Relações de equivalência, conjunto quociente, definição de funções e operações no conjunto quociente. Ordem, fecho transitivo de relações. Conjuntos infinitos.
Bibliografia Básica: A. Hefez, Aritmética, Sociedade Brasileira de Matemática, 2013. L. Lovász, J. Pelikán, K. Vesztergombi, Matemática Discreta, Sociedade Brasileira de Matemática, 2006. D.J. Velleman, How to Prove It: A Structured Approach, 2nd ed., Cambridge University Press, 2006. Bibliografia Complementar: K. Houston, How to Think Like a Mathematician: A Companion to Undergraduate Mathematics, Cambridge University Press, 2009.