| Ementa/Descrição: |
Representação de sistemas numéricos. Aritmética em diferentes bases. Introdução à lógica e à especificação formal. Teoria dos conjuntos, relações e funções. Indução matemática, recursão e Teorema do ponto fixo. Padrões de prova: prova por indução, por casos, redução ao absurdo, etc. Noções de estruturas algébricas. Noções de combinatória. |