NOÇÕES DE LÓGICA MATEMÁTICA

BIBLIOGRAFIA BÁSICA

  1. FUNDAMENTOS MATEMÁTICOS PARA CIÊNCIA DA COMPUTAÇÃO – Judith L.Gersting - LTC(Livros Técnicos e Científicos) - 1995
  2. INTRODUCTION TO MATHEMATICAL LOGIC-E. Mendelson -Wadsworth & Brooks/ Cole Mathematics Series - 1987
  3. THE LANGUAGE OF FIRST-ORDER LOGIC – Jon Barwise and John Etchemendy – CSLI – Stanford - 1992
BIBLIOGRAFIA COMPLEMENTAR
  1. NOÇÕES DE LÓGICA MATEMÁTICA - Abar, C. A . A. P. – www.pucsp.br/~logica (roteiro teórico)e www.pucsp.br/~abarcaap (exercícios)
  2. ÁLGEBRA BOOLEANA E CIRCUITOS DE CHAVEAMENTO – E. Mendelson - McGraw Hill - 1977 
  3. INICIAÇÃO À LÓGICA MATEMÁTICA - E. de Alencar Filho -E.Nobel -1984 
  4. INTRODUÇÃO À LÓGICA MATEMÁTICA - B.Castrucci - GEEM -1982 
  5. INTRODUCTION TO METAMATHEMATICS - S.C.Kleene - van Nostrand - 1952 
  6. LÓGICA - John Nolt / Dennis Rohatyn - Schaum/McGraw Hill - 1991 
  7. LÓGICA - O CÁLCULO DE PREDICADOS - L.Hegenberg - EDUSP - 1973 
  8. LÓGICA - O CÁLCULO SENTENCIAL - L.Hegenberg - Herder/EDUSP - 1973 
  9. LÓGICA DINÂMICA - T. Barreiro de Nudler -Kapelusz Argentina - 1994 
  10. LÓGICA E ÁLGEBRA DE BOOLE - J. Daghlian - Atlas - 1986 
  11. LÓGICA MATEMÁTICA- H. Cyrino e F. Arantes - Papirus – 1984 
  12. A FIRST COURSE IN FUZZY LOGIC –Hung T. Nguyen and Elbert A. Walker – CRC Press – 1997
  13. FUZZY LOGIC – Daniel Mcneill and Paul Freiberger – Touchstone - 1993 
  14. INTRODUÇÃO À LÓGICA - Cezar A. Mortari - Ed. Unesp - 2001 
  15. INTRODUÇÃO À LÓGICA E APLICAÇÕES- Abe,J.M. e outros - Ed. Plêiade - 1999 
  16. DISCRETE MATHEMATICS AND ITS APPLICATIONS - Keneth H. Rosen - WCB McGraw-Hill - 1999
  17. LÓGICA PARA CIÊNCIA DA COMPUTAÇÃO - João Nunes de Souza - Ed. Campus - 2002 

Sites:

1. http://www.sandiego.edu/LogicSlave/fmslog.html

2. http://nlvm.usu.edu/en/nav/frames_asid_153_g_2_t_1.html?open=instructions&from=topic_t_1.html

3. http://www.cfh.ufsc.br/~dkrause/pg/cursos/lparac.htm

4. http://www.javafile.com

 

Profa. Dra. Celina A. A. P. Abar
Depto. de Matemática - PUCSP-2008
logica@pucsp.br