Lógica

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 incorporam mecanismos de raciocínio automático.

Número de créditos: 4,0

Ementa:

• 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
• Lógica de Descrição