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...) |
(→Charadas Lógicas) |
||
| (15 edições intermediárias de um usuário não apresentadas) | |||
| Linha 17: | Linha 17: | ||
== Links Diversos == | == 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. | * 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] | ||
| + | * [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 Material da PUC-PR, Professor Anderson Wolupeck, procure por "VI - LÓGICA MATEMÁTICA / MATEMÁTICA DISCRETA"] | ||
| + | * [http://www.inf.pucrs.br/~danielc/logica_material/Logica%20para%20Computacao%20-%20Anterior.pdf Introdução a Lógica Aplicada à Computação, Prof. Daniel Callegari] | ||
| + | * [http://wwwexe.inf.ufsc.br/~arthur/index.php?page=material_didatico&lang=pt Material Didático de Arthur Buchsbaum] | ||
| + | |||
| + | |||
* [[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 33: | Linha 48: | ||
* [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 == | ||
| − | |||
| − | |||
=== Programação em Lógica === | === Programação em Lógica === | ||
| Linha 44: | 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 | ||
| Linha 63: | Linha 79: | ||
* [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] | ||
| + | |||
| + | === Razões para especificar formalmente === | ||
| + | |||
| + | * [http://www.theregister.co.uk/2011/12/20/bug_cause_aussie_a330_plunge/ Bug em avião] | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | Voltar a [[Lógica para Computação]] | ||
Edição atual tal como 12h03min de 12 de agosto de 2013
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
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
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
- Mini Sudoku em SWI 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
Exemplos de especificação formal
Razões para especificar formalmente
Voltar a Lógica para Computação
