Universidade Federal do Espírito Santo

Portal do Ementário

Informações Gerais
Disciplina:
Lógica para Computação I ( DCE08272 )
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:
4

Objetivos

Ementa
Cálculo proposicional: Sintaxe e semântica. Sistemas dedutivos. Cálculo de predicados de primeira ordem: introdução à sintaxe e semântica.

Bibliografia

Bibliografia Complementar
Carregando...