Ferramentas Pessoais
Acessar


Esqueceu sua senha?
 

Lógica

Objetivo: Esta disciplina tem dois objetivos principais. O primeiro deles é dar uma base sólida em lógica formal aos alunos, 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 consiste em transmitir os conhecimentos básicos para a implementação de sistemas que incorporam mecanismos de raciocínio automático. Conteúdos: 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.

Número de créditos: 4,0

 

Ações do documento