Lógica para Computação - Outros materiais

De Wiki DAINF
Edição feita às 17h00min de 5 de agosto de 2010 por Adolfo (disc | contribs)

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

Exemplos de especificação formal

Ferramentas pessoais