Lógica para Computação
De Wiki DAINF
(Diferença entre revisões)
(→Professores responsáveis) |
|||
Linha 1: | Linha 1: | ||
− | |||
== Professores responsáveis == | == Professores responsáveis == | ||
− | [Celso Kaestner] | + | * [[Celso Kaestner]] |
+ | * [[Adolfo Neto]] | ||
== Ementa == | == Ementa == |
Edição de 12h43min de 29 de outubro de 2008
Professores responsáveis
Ementa
Lógica Proposicional. Linguagem e Semântica. Sistemas Dedutivos. Aspectos Computacionais. O Princípio da Resolução. Lógica de Predicados. Substituição e Resolução. Introdução ao PROLOG. Aplicações em Computação: Introdução à Especificação e Verificação de Programas.