Introdução
à Teoria da Computação
Bibliography:
- J. W. Lloyd, Foundations of Logic Programming,
Second Edition. Springer, 1987.
- J. Avenhaus, Reduktionssysteme - Rechnen
und schliessen in ub gleichungsdefinierten Strukturen. Springer, 1995.
- F. Baader and T. Nipkow , Term Rewriting and All That . Cambridge University Press, 1998.
- J. W. Klop, Term Rewriting Systems. In S.
Abramsky, D.M. Gabbay and T.S.E. Maibaum, editors, Handbook of Logic
in Computer Science, Vol. 2, pages 1-116. Clarendon Press, 1992.
- M. Ayala-Rincón, Fundamentos
da Programação Lógica e Funcional - O Princípio
de Resolução e a Teoria de Reescrita -, Lecture Notes, Department of Mathematics, University of Brasilia, fifth version, March 2003. In Portuguese.
- Versão completa postscript 2005 Versão completa PDF 2005 (2 MB)
- Tabela de conteúdo postscript (2005), Tabela de conteúdo PDF (2005),
- Capítulo 1 PDF (2008),
- Capítulo 2 PDF (2008),
- Capítulo 3 PDF (2008),
- Capítulo 4 PDF (2008),
- Capítulo 5 (2003),
- Capítulo 6 PDF (2008),
- Capítulo 7 PDF (2008),
- Capítulo 8 PDF (2008),
- Capítulo 9 PDF (2008),
- Capítulo 10 (2008),
- => Solução exercícios Capítulos 1 - 8 PDF (2008), Cortesia
Prof. André Luiz Galdino (UFG)
:w
- Some examples of PROLOG programming
- For the XSB system licence, installation instructions, manuals, etc. consult files inside the previous zip file or the XSB official page at The XSB Research Group.
=> Menção Prova 1 <= Revisão Prova 1, 31.10.2011, 14:30
Program of the course for the second semester 2011 (in Portuguese):
PDF