Lógica para Computação

De Wiki DAINF
(Diferença entre revisões)
(Sistemas Computacionais de Auxílio ao Aprendizado de Lógica)
(Bibliografia Complementar)
Linha 44: Linha 44:
 
== Bibliografia Complementar ==
 
== Bibliografia Complementar ==
  
* SANT'ANNA, Adonai S. '''O que é um Axioma.''' Barueri: Manole, 2003.
 
  
* CONIGLIO, Marcelo; CARNIELLI, Walter A.; BIANCONI, Ricardo. '''Lógica e Aplicações''' (em andamento). Disponível em: <http://www.cle.unicamp.br/prof/coniglio/LIVRO.pdf>. Acesso em: 12 dez. 2008.
+
=== Referências  fortemente relacionadas à Computação ===
  
* CARNIELLI, Walter A.; EPSTEIN, Richard L. '''Computabilidade, funções computáveis, lógica e os fundamentos da matemática.''' São Paulo: Editora UNESP, 2006.  
+
* HUTH, Michael; RYAN, Michael. '''Logic in Computer Science:''' modelling and reasoning about systems. Segunda edição. Cambridge University Press: 2004. 427 p.
 +
** Página do livro (contém errata): http://www.cs.bham.ac.uk/research/projects/lics/
  
* NOLT, John Eric; ROHATYN, Dennis. '''Lógica.'''   São Paulo: Makron, 1991. 596 p. ISBN 0-07-460872-X 
+
* BRODA, Krysia; EISENBACH, Susan; KHOSHNEVISAN, Hessam; VICKERS, Steve. '''Reasoned Programming'''. Prentice-Hall, 1994. Disponível em: <http://www.doc.ic.ac.uk/pandora/firstyearbook.pdf>. Acesso em: 12 dez. 2008.
  
* BERLINSKI, David. '''O advento do algoritmo: a idéia que governa o mundo.''' São Paulo: Globo, 2002.
+
* CHANG, Chin-Liang; LEE, Richard Char-Tung. '''Symbolic logic and mechanical theorem proving.'''   Boston: Academic Press, 1987. 331 p. ISBN 0121703509 (enc.
  
* SMULLYAN, Raymond. '''O enigma de Sherazade; e outros incríveis problemas das Mil e uma noites à lógica moderna.''' Rio de Janeiro: Jorge Zahar Ed., 1998.
+
* CASANOVA, MARCO A.; GIORNO, F.A.C.; FURTADO, A.L. '''Programação em Lógica e a Linguagem Prolog'''. São Paulo: Edgard Blücher, 1987.
  
* DETLOVS, Volnis; PODNIEKS, Karlis. '''Introduction to Mathematical Logic.''' Disponível em: <http://www.ltn.lv/~podnieks/mlog/ml.htm>. Acesso em: 20 fev. 2009.
+
* HOARE, Charles Antony Richard; SHEPHERDSON, J. C. (Ed.)  '''Mathematical logic and programming languages.''' Englewood Cliffs: Prentice-Hall, c1985. 184 p. (Prentice hall international series in computer science) ISBN 0135614651 (enc.).
  
* SIPSER, Michael. '''Introdução à Teoria da Computação.''' São Paulo: Thomson Learning, 2007.
+
* LOVELAND, Donald W. '''Automated Theorem Proving: A Logical Basis.''' Fundamental Studies in Computer Science, Volume 6, North-Holland Publishing. 1978.  
  
* WITTGENSTEIN, Ludwig. '''Tractatus Logico-Philosophicus.''' São Paulo: Editora da Universidade de São Paulo, 1994.
+
* GALLIER, Jean H. '''Logic for Computer Science: Foundations of Automatic Theorem Proving'''. 2003. Disponível em: <http://www.cis.upenn.edu/~jean/gbooks/logic.html>. Acesso em: 20 fev. 2009.
 
+
* CASANOVA, MARCO A.; GIORNO, F.A.C.; FURTADO, A.L. '''Programação em Lógica e a Linguagem Prolog'''. São Paulo: Edgard Blücher, 1987.
+
  
 
* CLOCKSIN, W.; MELLISH, C. '''Programming in Prolog'''. Springer Verlag, 1982.
 
* CLOCKSIN, W.; MELLISH, C. '''Programming in Prolog'''. Springer Verlag, 1982.
Linha 70: Linha 68:
 
* CHANG, C. L.; LEE, R. C-T. '''Symbolic Logic and Mechanical Theorem Proving'''. Academic Press, 1987.
 
* CHANG, C. L.; LEE, R. C-T. '''Symbolic Logic and Mechanical Theorem Proving'''. Academic Press, 1987.
  
* HAMILTON, A. G. '''Logic for Mathematicians'''. Cambridge University Press: 1988.
 
  
* COSTA, Newton Carneiro Affonso da. '''Ensaio sobre os fundamentos da lógica'''. São Paulo: Hucitec, 1980.
+
=== Livros com abordagem mais filosófica ou matemática ===
  
* HUTH, Michael; RYAN, Michael. '''Logic in Computer Science:''' modelling and reasoning about systems. Segunda edição. Cambridge University Press: 2004. 427 p.
+
* SANT'ANNA, Adonai S. '''O que é um Axioma.''' Barueri: Manole, 2003.
** Página do livro (contém errata): http://www.cs.bham.ac.uk/research/projects/lics/
+
  
* BRODA, Krysia; EISENBACH, Susan; KHOSHNEVISAN, Hessam; VICKERS, Steve. '''Reasoned Programming'''. Prentice-Hall, 1994. Disponível em: <http://www.doc.ic.ac.uk/pandora/firstyearbook.pdf>. Acesso em: 12 dez. 2008.
+
* CONIGLIO, Marcelo; CARNIELLI, Walter A.; BIANCONI, Ricardo. '''Lógica e Aplicações''' (em andamento). Disponível em: <http://www.cle.unicamp.br/prof/coniglio/LIVRO.pdf>. Acesso em: 12 dez. 2008.
  
* HOARE, Charles Antony Richard; SHEPHERDSON, J. C. (Ed.) '''Mathematical logic and programming languages.''' Englewood Cliffs: Prentice-Hall, c1985. 184 p. (Prentice hall international series in computer science) ISBN 0135614651 (enc.).
+
* CARNIELLI, Walter A.; EPSTEIN, Richard L. '''Computabilidade, funções computáveis, lógica e os fundamentos da matemática.''' São Paulo: Editora UNESP, 2006.
 +
 
 +
* NOLT, John Eric; ROHATYN, Dennis.  '''Lógica.'''   São Paulo: Makron, 1991. 596 p. ISBN 0-07-460872-X 
 +
 
 +
*  DETLOVS, Volnis; PODNIEKS, Karlis. '''Introduction to Mathematical Logic.''' Disponível em: <http://www.ltn.lv/~podnieks/mlog/ml.htm>. Acesso em: 20 fev. 2009.
  
 
* MATES, Benson.  '''Lógica elementar.'''  São Paulo: Companhia Editora Nacional, 1968. 298 p.  
 
* MATES, Benson.  '''Lógica elementar.'''  São Paulo: Companhia Editora Nacional, 1968. 298 p.  
Linha 85: Linha 85:
 
*  MATES, Benson.  '''Elementary logic.'''  2. ed. New York: Oxford University Press, 1972. 237 p.   
 
*  MATES, Benson.  '''Elementary logic.'''  2. ed. New York: Oxford University Press, 1972. 237 p.   
  
* CHANG, Chin-Liang; LEE, Richard Char-Tung. '''Symbolic logic and mechanical theorem proving.'''   Boston: Academic Press, 1987. 331 p. ISBN 0121703509 (enc.
+
* COSTA, Newton Carneiro Affonso da. '''Ensaio sobre os fundamentos da lógica'''. São Paulo: Hucitec, 1980.
  
* LOVELAND, Donald W. '''Automated Theorem Proving: A Logical Basis.''' Fundamental Studies in Computer Science, Volume 6, North-Holland Publishing. 1978.  
+
* HAMILTON, A. G. '''Logic for Mathematicians'''. Cambridge University Press: 1988.
 +
 
 +
 
 +
=== Livros de Divulgação ===
 +
 
 +
* BERLINSKI, David. '''O advento do algoritmo: a idéia que governa o mundo.''' São Paulo: Globo, 2002.
 +
 
 +
* SMULLYAN, Raymond. '''O enigma de Sherazade; e outros incríveis problemas das Mil e uma noites à lógica moderna.''' Rio de Janeiro: Jorge Zahar Ed., 1998.
 +
 
 +
 
 +
=== Livros relacionados à disciplina ===
 +
 
 +
* SIPSER, Michael. '''Introdução à Teoria da Computação.''' São Paulo: Thomson Learning, 2007.
 +
 
 +
* WITTGENSTEIN, Ludwig. '''Tractatus Logico-Philosophicus.''' São Paulo: Editora da Universidade de São Paulo, 1994.
  
* GALLIER, Jean H. '''Logic for Computer Science: Foundations of Automatic Theorem Proving'''. 2003. Disponível em: <http://www.cis.upenn.edu/~jean/gbooks/logic.html>. Acesso em: 20 fev. 2009.
 
  
  

Edição de 15h21min de 18 de maio de 2009

Tabela de conteúdo

Professores responsáveis

Oferecimentos

Ementa

  • Lógica Proposicional.
  • Linguagem e Semântica.
  • Sistemas Dedutivos.
  • Aspectos Computacionais.
  • O Princípio da Resolução.
  • Lógica de Predicados.
  • Substituição e Resolução.
  • Introdução ao PROLOG.
  • Aplicações em Computação: Introdução à Especificação e Verificação de Programas.

Objetivos da disciplina

Os objetivos da disciplina Lógica para Computação são "desenvolver conceitos de lógica proposicional e de predicados, prova automática de teoremas e programação em lógica".

O papel desta disciplina é o de mostrar como uma lógica pode ser vista como uma linguagem de especificação tanto de sistemas como de suas propriedades.

Sendo assim, pode-se entender a disciplina como o estudo das lógicas proposicional e predicativa do ponto de vista da verificação de propriedades por elas expressas, permitindo que o aluno seja capaz de identificar o tipo de lógica que pode ser usada para especificar um sistema ou propriedade, bem como realizar a modelagem de sistemas e propriedades por meio da lógica escolhida.

Bibliografia Básica

Bibliografia Complementar

Referências fortemente relacionadas à Computação

  • HUTH, Michael; RYAN, Michael. Logic in Computer Science: modelling and reasoning about systems. Segunda edição. Cambridge University Press: 2004. 427 p.
  • CHANG, Chin-Liang; LEE, Richard Char-Tung. Symbolic logic and mechanical theorem proving. Boston: Academic Press, 1987. 331 p. ISBN 0121703509 (enc.)
  • CASANOVA, MARCO A.; GIORNO, F.A.C.; FURTADO, A.L. Programação em Lógica e a Linguagem Prolog. São Paulo: Edgard Blücher, 1987.
  • HOARE, Charles Antony Richard; SHEPHERDSON, J. C. (Ed.) Mathematical logic and programming languages. Englewood Cliffs: Prentice-Hall, c1985. 184 p. (Prentice hall international series in computer science) ISBN 0135614651 (enc.).
  • LOVELAND, Donald W. Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Volume 6, North-Holland Publishing. 1978.
  • CLOCKSIN, W.; MELLISH, C. Programming in Prolog. Springer Verlag, 1982.
  • LLOYD, J. W. Foundations of Logic Programming. Springer Verlag, 1987.
  • CHANG, C. L.; LEE, R. C-T. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1987.


Livros com abordagem mais filosófica ou matemática

  • SANT'ANNA, Adonai S. O que é um Axioma. Barueri: Manole, 2003.
  • CARNIELLI, Walter A.; EPSTEIN, Richard L. Computabilidade, funções computáveis, lógica e os fundamentos da matemática. São Paulo: Editora UNESP, 2006.
  • NOLT, John Eric; ROHATYN, Dennis. Lógica. São Paulo: Makron, 1991. 596 p. ISBN 0-07-460872-X
  • MATES, Benson. Lógica elementar. São Paulo: Companhia Editora Nacional, 1968. 298 p.
  • MATES, Benson. Elementary logic. 2. ed. New York: Oxford University Press, 1972. 237 p.
  • COSTA, Newton Carneiro Affonso da. Ensaio sobre os fundamentos da lógica. São Paulo: Hucitec, 1980.
  • HAMILTON, A. G. Logic for Mathematicians. Cambridge University Press: 1988.


Livros de Divulgação

  • BERLINSKI, David. O advento do algoritmo: a idéia que governa o mundo. São Paulo: Globo, 2002.
  • SMULLYAN, Raymond. O enigma de Sherazade; e outros incríveis problemas das Mil e uma noites à lógica moderna. Rio de Janeiro: Jorge Zahar Ed., 1998.


Livros relacionados à disciplina

  • SIPSER, Michael. Introdução à Teoria da Computação. São Paulo: Thomson Learning, 2007.
  • WITTGENSTEIN, Ludwig. Tractatus Logico-Philosophicus. São Paulo: Editora da Universidade de São Paulo, 1994.


(A FORMATAR...)


  1. Duffy, David A. (1991). Principles of Automated Theorem Proving, John Wiley & Sons.
  2. Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim (1992). Automated Reasoning: Introduction and Applications (2nd edition ed.), McGraw-Hill.
  3. Alan Robinson and Andrei Voronkov (eds.), ed. (2001). Handbook of Automated Reasoning Volume I & II, Elsevier and MIT Press.
  4. Fitting, Melvin (1996). First-Order Logic and Automated Theorem Proving (2nd edition ed.), Springer. http://comet.lehman.cuny.edu/fitting/.

Artigos

Referências

Vídeos

Links Diversos

Sistemas Computacionais de Auxílio ao Aprendizado de Lógica

  • NETO, Adolfo. KEMS: Um provador de teoremas multi-estratégia baseado no método KE. Disponível em: <http://kems.iv.fapesp.br>. Acesso em: 12 dez. 2008.
  • BRODA, K.;EISENBACH, S.; KHOSHNEVISAN, H.; VICKERS, S. Pandora: Proof Assistant for Natural Deduction using Organised Rectangular Areas. Disponível em: <http://www.doc.ic.ac.uk/pandora/>. Acesso em: 15 dez. 2008.
    • A learning support tool designed to guide the construction of natural deduction proofs.

(A FORMATAR...)

Ferramentas pessoais