Bibliografia Básica da disciplina Lógica para Computação

De Wiki DAINF

Bibliografia Básica de Lógica para Computação

  • HUTH, Michael; RYAN, Mark. Lógica em Ciência da Computação: modelagem e argumentação sobre sistemas. Segunda edição. Editora LTC: 2008. 326 p.
    • Tradução de:
      • HUTH, Michael; RYAN, Mark. Logic in Computer Science: modelling and reasoning about systems. Segunda edição. Cambridge University Press: 2004. 427 p.
      • Página do livro original (contém errata): http://www.cs.bham.ac.uk/research/projects/lics/
  • FAVERO, Eloi Luiz. Programação em Prolog: Uma Abordagem Prática. Disponível em:

<http://favero.ufpa.br/capmain2006.pdf>. Acesso em: 22 de fevereiro de 2011. Universidade Federal do Pará, 2006.

  • ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, c1975. 203 p. ISBN
Ferramentas pessoais