Esta disciplina tem dois objetivos principais. O primeiro deles é dar uma sólida base em lógica formal aos alunos do mestrado, de forma que eles possam utilizar esse conhecimento para lidar com provas formais e especificar formalmente modelos de sistemas de informação. O segundo objetivo corresponde a transmitir os conhecimentos básicos para a implementação de sistemas que incoporam mecanismos de raciocínio automático.

Sintaxe e semântica da lógica proposicional

Sintaxe e semântica da lógica de primeira ordem

Conceitos de correção e completude

Modelos de teorias

Demonstração de teoremas

Inferência automática com resolução

Programação em Lógica e Prolog

Noções de lógicas de segunda ordem