Lógica para Computação - Outros materiais

De Wiki DAINF
(Diferença entre revisões)
(Links Diversos)
Linha 26: Linha 26:
 
* [http://www.las.pucpr.br/anderson/documentos_arquivos.htm Material da PUC-PR, Professor Anderson Wolupeck, procure por "VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA"]
 
* [http://www.las.pucpr.br/anderson/documentos_arquivos.htm Material da PUC-PR, Professor Anderson Wolupeck, procure por "VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA"]
 
* [http://www.inf.pucrs.br/~danielc/logica_material/Logica%20para%20Computacao%20-%20Anterior.pdf Introdução a Lógica Aplicada à Computação, Prof. Daniel Callegari]
 
* [http://www.inf.pucrs.br/~danielc/logica_material/Logica%20para%20Computacao%20-%20Anterior.pdf Introdução a Lógica Aplicada à Computação, Prof. Daniel Callegari]
 +
* [http://wwwexe.inf.ufsc.br/~arthur/index.php?page=material_didatico&lang=pt]
  
  

Edição de 14h06min de 24 de outubro de 2011

Tabela de conteúdo

Alguns slides

Referências

Vídeos

Links Diversos


Lógica de Predicados

Links interesssantes:

Material Adicional

Programação em Lógica

Exemplos de especificação formal

Ferramentas pessoais