Lógica para Computação - Outros materiais

De Wiki DAINF
(Diferença entre revisões)
(Charadas Lógicas)
 
(2 edições intermediárias de um usuário não apresentadas)
Linha 31: Linha 31:
 
* [[Frases sobre Lógica]]
 
* [[Frases sobre Lógica]]
 
* [[Disciplinas de Lógica no Brasil e no Mundo]]
 
* [[Disciplinas de Lógica no Brasil e no Mundo]]
 +
 +
 +
=== Charadas Lógicas ===
 +
 +
 +
* Charadas Lógicas http://professoradolfo.blogspot.com.br/search/label/charadalogica
 +
* Quem gosta de charadas lógicas, e quer entender melhor como resolvê-los usando Lógica Proposicional pode ler mais a respeito em:  http://www.dimap.ufrn.br/~jmarcos/courses/LAaC/Trad-LCP/Smullyan_Cap3-7.pdf
 +
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 ===
 
=== Lógica de Predicados ===
Linha 51: Linha 59:
 
* [http://www3.ufpa.br/favero/ Livro de Eloi Favero (UFPA) sobre Prolog]
 
* [http://www3.ufpa.br/favero/ Livro de Eloi Favero (UFPA) sobre Prolog]
 
** [http://repositorium.sdum.uminho.pt/bitstream/1822/7780/1/exercicios-sbc.pdf Exercícios resolvidos em Prolog]
 
** [http://repositorium.sdum.uminho.pt/bitstream/1822/7780/1/exercicios-sbc.pdf Exercícios resolvidos em Prolog]
 +
* [http://stackoverflow.com/questions/5617126/mini-sudoku-solver-in-prolog-stops-partway-through Mini Sudoku em SWI Prolog]
 
* http://pt.wikipedia.org/wiki/Prolog
 
* http://pt.wikipedia.org/wiki/Prolog
 
* http://en.wikipedia.org/wiki/Prolog
 
* http://en.wikipedia.org/wiki/Prolog

Edição atual tal como 12h03min de 12 de agosto de 2013

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