Lógica para Computação - Outros materiais

De Wiki DAINF

Tabela de conteúdo

Alguns slides

Referências

Vídeos

Links Diversos



Charadas Lógicas

e conferir as soluções formalizadas em: http://www.dimap.ufrn.br/~jmarcos/courses/LAaC/Trad-LCP/Smullyan_Cap3-7_respostas.pdf

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