Lógica para Computação - Outros materiais
De Wiki DAINF
(Diferença entre revisões)
(→Links Diversos) |
(→Links Diversos) |
||
| Linha 23: | Linha 23: | ||
* [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] | ||
* [http://www4.pucsp.br/~logica/ NOÇÕES DE LÓGICA MATEMÁTICA, CELINA A.A.P. ABAR] | * [http://www4.pucsp.br/~logica/ NOÇÕES DE LÓGICA MATEMÁTICA, CELINA A.A.P. ABAR] | ||
| − | * [http://www.las.pucpr.br/anderson/documentos_arquivos.htm VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA] | + | * [http://www.las.pucpr.br/anderson/documentos_arquivos.htm Material da PUC-PR, Professor Anderson Wolupeck, procure por "VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA"] |
Edição de 21h35min de 18 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
- 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"
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
