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.
