Portal do Governo Brasileiro
Universidade Federal do Espírito Santo
Portal do Ementário
Início
>
Engenharia da Computação - São Mateus (33 )
>
Programacao em Logica
Informações Gerais
Disciplina:
Programacao em Logica ( DCE08340 )
Unidade:
Departamento de Computação e Eletrônica
Tipo:
Optativa
Período Ideal no Curso:
Sem período ideal
Nota Mínima para Aprovação:
5.00
Carga Horária:
60
Número de Créditos:
3
Objetivos
Ementa
Revisão de lógica (sentencial e 1ª ordem). Teorema de hebrand. Resoluções. Programação em lógica. Prolog.
Bibliografia
Bibliografia Complementar
Carregando...