Lógica para Computação - Outros materiais

De Wiki DAINF
(Diferença entre revisões)
(→Links Diversos)
(→Charadas Lógicas)
 
(11 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://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.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 36: Linha 47:
 
* [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 ==
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 67: Linha 83:
  
 
* [http://www.csr.ncl.ac.uk/vdm/examples/examples.html Exemplos de especificação formal em VDM-SL]
 
* [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

Vídeos

Links Diversos



Charadas Lógicas

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:

Falácias Lógicas

Material Adicional

Programação em Lógica

Exemplos de especificação formal

Razões para especificar formalmente



Voltar a Lógica para Computação

Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=L%C3%B3gica_para_Computa%C3%A7%C3%A3o_-_Outros_materiais&oldid=5832"
Ferramentas pessoais