Lógica para Computação - Outros materiais
De Wiki DAINF
(Diferença entre revisões)
(→Links Diversos) |
(→Links Diversos) |
||
| Linha 19: | Linha 19: | ||
* PEREIRA, Silvio do Lago. Lógica de Predicados. Disponível em: <http://www.ime.usp.br/~slago/IA-logicaDePredicados.pdf>. Acesso em: 12 out. 2010. | * PEREIRA, Silvio do Lago. Lógica de Predicados. Disponível em: <http://www.ime.usp.br/~slago/IA-logicaDePredicados.pdf>. Acesso em: 12 out. 2010. | ||
* 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. | * 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://en.wikipedia.org/wiki/Automated_theorem_proving Automated theorem proving na Wikipedia] |
| − | * http://pt.wikipedia.org/wiki/L%C3%B3gica | + | * [http://pt.wikipedia.org/wiki/L%C3%B3gica Lógica na Wikipedia] |
** Atenção especial a http://pt.wikipedia.org/wiki/L%C3%B3gica#Testes_de_L.C3.B3gica | ** Atenção especial a http://pt.wikipedia.org/wiki/L%C3%B3gica#Testes_de_L.C3.B3gica | ||
* [http://criticanarede.com/html/fil_regras.html Regras de dedução natural, Desidério Murcho] | * [http://criticanarede.com/html/fil_regras.html Regras de dedução natural, Desidério Murcho] | ||
Edição de 14h59min de 15 de abril de 2011
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
- PEREIRA, Silvio do Lago. Lógica de Predicados. Disponível em: <http://www.ime.usp.br/~slago/IA-logicaDePredicados.pdf>. Acesso em: 12 out. 2010.
- 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.
- Automated theorem proving na Wikipedia
- Lógica na Wikipedia
- 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
- NOÇÕES DE LÓGICA MATEMÁTICA, CELINA A.A.P. ABAR
- Material da PUC-PR, Professor Anderson Wolupeck, procure por "VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA"
- Introdução a Lógica Aplicada à Computação, Prof. Daniel Callegari
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
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
