Lógica para Computação
De Wiki DAINF
(Diferença entre revisões)
(Nova página: == Referências == [http://www.dainf.ct.utfpr.edu.br/~kaestner/Logica.htm LÓGICA PARA COMPUTAÇÃO (IF61B), Prof. Celso Kaestner]) |
|||
| Linha 1: | Linha 1: | ||
| + | == Professores responsáveis == | ||
| + | |||
| + | [Celso Kaestner] | ||
| + | |||
| + | == 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. | ||
== Referências == | == Referências == | ||
[http://www.dainf.ct.utfpr.edu.br/~kaestner/Logica.htm LÓGICA PARA COMPUTAÇÃO (IF61B), Prof. Celso Kaestner] | [http://www.dainf.ct.utfpr.edu.br/~kaestner/Logica.htm LÓGICA PARA COMPUTAÇÃO (IF61B), Prof. Celso Kaestner] | ||
Edição de 13h43min de 29 de outubro de 2008
Professores responsáveis
[Celso Kaestner]
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.
