Desenvolver a lógica de 1 ordem clássica, incluindo os teoremas da completude e da incompletude de
     Gödel. Desenvolver exemplos em teorias matemáticas concretas. 

1. O cálculo de predicados de 1 ordem: linguagens de 1 ordem formalizadas, axiomas, a noção de
     dedução, o teorema da dedução; exemplos e aplicações em teorias matemáticas. 2. A noção de estrutura e a noção de
     verdade de Tarski: exemplos. 3. O teorema da completude, o teorema da compacidade e aplicações: noções
     matemáticas não finitamente axiomatizáveis, o teorema de Löwenheim-Skolem, outras. 4. Noções gerais sobre
     algoritmos. 5. Tópico livre.