| Ementa/Descrição: |
Lógica proposicional. Lógica de predicados de primeira ordem. Técnicas de demonstração básicas:
direta, por contraposição, por redução ao absurdo, por casos. Provas existenciais construtivas e nãoconstrutivas.
Teoria dos conjuntos. Relações n-árias, binárias, de equivalência e de ordem. Funções e
sequências: injetividade e sobrejetividade. Cardinalidade: prova por diagonalização. Teoria dos números:
divisibilidade, números primos, algoritmo da divisão (teorema) e aritmética modular. Definições recursivas e
provas por indução. Aplicações na Computação nas áreas de: Inteligência Artificial, Métodos Formais, Bancos
de Dados, Análise de Algoritmos e Criptografia. |
