Lógica para Computação - Outros materiais

De Wiki DAINF
Edição feita às 16h58min de 5 de agosto de 2010 por Adolfo (disc | contribs)
(dif) ← Versão anterior | ver versão atual (dif) | Versão posterior → (dif)

Tabela de conteúdo

Alguns slides

Referências

Vídeos

Links Diversos

Lógica de Predicados

Links interesssantes:

Material Adicional

Porque estudar lógica

Programação em Lógica

Ferramentas pessoais