Universidade Federal do Espírito Santo

Portal do Ementário

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...