Lógica para Computação - Outros materiais

De Wiki DAINF
(Diferença entre revisões)
(Links Diversos)
Linha 78: Linha 78:
  
 
* [http://www.theregister.co.uk/2011/12/20/bug_cause_aussie_a330_plunge/ Bug em avião]
 
* [http://www.theregister.co.uk/2011/12/20/bug_cause_aussie_a330_plunge/ Bug em avião]
 +
 +
 +
 +
 +
Voltar a [[Lógica para Computação]]

Edição de 17h58min de 29 de maio de 2013

Tabela de conteúdo

Alguns slides

Referências

Vídeos

Links Diversos


Lógica de Predicados

Links interesssantes:

Falácias Lógicas

Material Adicional

Programação em Lógica

Exemplos de especificação formal

Razões para especificar formalmente



Voltar a Lógica para Computação

Ferramentas pessoais