Lógica para Computação - Outros materiais
De Wiki DAINF
(Diferença entre revisões)
(Nova página: === Alguns slides === * [http://www.slideshare.net/adolfont/introducao-a-logica Introdução à Lógica] * [http://www.slideshare.net/adolfont/logica-proposicional Lógica Proposicion...) |
|||
| Linha 63: | Linha 63: | ||
* [http://www.cos.ufrj.br/~vitor/ Vítor Santos Costa's Home Page] | * [http://www.cos.ufrj.br/~vitor/ Vítor Santos Costa's Home Page] | ||
* [http://www.dcc.fc.up.pt/~vsc/Yap/ YAP Prolog] | * [http://www.dcc.fc.up.pt/~vsc/Yap/ YAP Prolog] | ||
| + | |||
| + | === Exemplos de especificação formal === | ||
| + | |||
| + | * [http://www.csr.ncl.ac.uk/vdm/examples/examples.html Exemplos de especificação formal em VDM-SL] | ||
Edição de 17h00min de 5 de agosto de 2010
Tabela de conteúdo |
Alguns slides
Referências
- KAESTNER, Celso. Página dos oferecimentos de "LÓGICA PARA COMPUTAÇÃO". 2008. Disponível em: <http://www.dainf.ct.utfpr.edu.br/~kaestner/Logica.htm>. Acesso em: 09 dez. 2008.
Vídeos
- Great Scientists Aristotle (sobre a vida de Aristóteles)
- O futebol dos filósofos, Monty Python
- Raymond Smullyan tocando Bach
- Entrevista com Newton da Costa - Itajubá em Foco
Links Diversos
- KOWALSKI, Robert. How to be Artificially Intelligent – the Logical Way. Disponível em: <http://www.doc.ic.ac.uk/~rak/>. Acesso em: 09 dez. 2008.
- http://en.wikipedia.org/wiki/Automated_theorem_proving
- http://pt.wikipedia.org/wiki/L%C3%B3gica
- Atenção especial a http://pt.wikipedia.org/wiki/L%C3%B3gica#Testes_de_L.C3.B3gica
- Regras de dedução natural, Desidério Murcho
- Frases sobre Lógica
- Disciplinas de Lógica no Brasil e no Mundo
Lógica de Predicados
Links interesssantes:
- Lógica de Predicados, Prof. Dr. Silvio do Lago Pereira
- Semântica de Lógica de Predicados
- The Philosophical Importance of Mathematical Logic, Bertrand Russell (1911)
Material Adicional
Porque estudar lógica
Programação em Lógica
- Livro de Eloi Favero (UFPA) sobre Prolog
- http://pt.wikipedia.org/wiki/Prolog
- http://en.wikipedia.org/wiki/Prolog
- Linguagem Prolog, SANDRA CORTINOVI
- http://www.scholarpedia.org/article/PROLOG
- http://portal.acm.org/citation.cfm?id=1057820
- http://en.wikipedia.org/wiki/Declarative_programming
- Links (alguns quebrados) para materiais sobre Prolog
- Alguns exemplos de programas em Prolog
- SWI-Prolog Reference Manual
- Dicas sobre o SWI Prolog
- Artigo sobre o SWI Prolog na Wikipedia
- Learn Prolog Now
- JPL - A Java Interface to Prolog
- JIProlog - Java Internet Prolog
- Linha de Código - Descobrindo o Prolog
- Prolog (UEM)
- Vítor Santos Costa's Home Page
- YAP Prolog
