Relação de equivalência e de ordem. Indução matemática. Anel dos inteiros: divisibilidade, primos, fatoração única, MDC e MMC. Equações Diofantinas lineares. Ideais em um anel. Aritmética modular: congruências, inverso módulo n, teorema chinês do resto. Teorema de Fermat, teorema de Wilson, função phi de Euler. Aplicações.