Lógica para Computação - Outros materiais
De Wiki DAINF
(Diferença entre revisões)
(→Exemplos de especificação formal) |
(→Links Diversos) |
||
| Linha 39: | Linha 39: | ||
* [http://labic.icmc.usp.br/didactic-material/logic/1aOrdemIntro.pdf Semântica de Lógica de Predicados] | * [http://labic.icmc.usp.br/didactic-material/logic/1aOrdemIntro.pdf Semântica de Lógica de Predicados] | ||
* [http://www.marxists.org/reference/subject/philosophy/works/en/russell.htm The Philosophical Importance of Mathematical Logic, Bertrand Russell (1911)] | * [http://www.marxists.org/reference/subject/philosophy/works/en/russell.htm The Philosophical Importance of Mathematical Logic, Bertrand Russell (1911)] | ||
| + | |||
| + | === Falácias Lógicas === | ||
| + | |||
| + | * [http://yourlogicalfallacyis.com/ Thou shalt not commit logical fallacies] - Um site que fala sobre falácias lógicas. Basta clicar numa figura que aparecerá a explicação da falácia. | ||
== Material Adicional == | == Material Adicional == | ||
Edição de 10h22min de 27 de abril de 2012
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
- Material Didático de Arthur Buchsbaum
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)
Falácias Lógicas
- Thou shalt not commit logical fallacies - Um site que fala sobre falácias lógicas. Basta clicar numa figura que aparecerá a explicação da falácia.
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
