Ementa/Descrição: |
Introdução à lógica matemática: lógica proposicional, tautologias, contradições e contingências, implicação e equivalência lógica, argumentação e técnicas de demonstração. Teoria dos números: números inteiros, números primos, divisibilidade, algoritmo da divisão, máximo divisor comum, mínimo múltiplo comum, teorema fundamental da aritmética, congruência, equações diofantinas, aritmética módulo M. |