Ementa/Descrição: |
0. Conteúdo transversal: linguagem da Lógica de Primeira Ordem; problemas de decisão. 1. Noções de inferência lógica (consequência abstrata, derivação a partir de hipóteses, semântica formal), e suas principais meta-propriedades (correção e completude, compacidade, consistência, invariância por substituição, equivalência lógica e substitutividade). 2. Teorias de primeira ordem com e sem igualdade. Modelagem de problemas computacionais. 3. Método da Resolução. Formas normais, unificação. 4. Aplicações: Programação Lógica, demonstração interativa e automática de teoremas, problemas de satisfatibilidade, a lógica como linguagem de especificação e como ferramenta deverificação. 5. Limitações da lógica: limitações expressivas da linguagem clássica de primeira ordem, os fenômenos de indecidibilidade e de incompletude. |