Livros e Links

Bibliografia Básica

• 1. Michael R. A. Ruth, Mark D. Ryan – Logic in Computer Science, Modelling and Reasoning about Systems. Cambridge University Press.

  2. Ricardo Sousa Silvestre - Um Curso de Lógica. Editora Vozes.

  3. Mordechai Ben-Ari - Mathematical Logic for Computer Science. Springer.

Bibliografia Complementar

• 1. Richard Bornat – Proof and Disproof in Formal Logic. Oxford University Press.

  2. Shawn Hedman – A First Course in Logic – An introduction to model theory, Proof Theory, Computability, and Complexity. Oxford University Press.

  3. Max Bramer – Logic Programming with Prolog. Springer.

  4. Daniel Jackson – Software Abstractions – Logic, Language and Analysis. The MIT Press.

Links úteis

• 1. Ótimo curso online no Coursera.

1. Tutor web do livro: exercícios extras com correção online.

2. Artigo bem resumido mas ótimo sobre model checking.

   1. Ótima coleção de problemas de lógica.

   2. Série de problemas: http://www.problemasdelogica.com.br/

   3. Jogos em flash com problemas de lógica: http://rachacuca.com.br/logica/problemas/