316296 Teoria da
Computação
318132 Tópicos em
Computação
Semestre 2021-2 - 17 Janeiro - 05 Maio, 2022 -
=> Aula inicial, 17 de Janeiro de 2022, 10:00 <=
- => Zoom
link to the lectures <=
Meeting ID: 810 3669 0624
Passcode: TeoCom
- Link to the Course in Aprender 3 - Search and register the
course Teoria da
Computação, Turma A (TeoComp2021-2)
- Aulas Link
OneDrive
Bibliography:
- J. W. Lloyd, Foundations of Logic Programming,
Second Edition. Springer, 1987.
- J. Avenhaus, Reduktionssysteme - Rechnen
und schliessen in ubergleichungsdefinierten 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.
- => Solução exercícios Capítulos 1 - 8 PDF (2008), Cortesia
Prof. André Luiz Galdino (UFG)
Some examples of PROLOG programming
Link to SWI Prolog
Link to OCaml
Link to Haskell
The Rewriting home
page
The Formal Structures for
Computation and Deduction (FSCD) page
=> Ementa para o segundo semestre 2021 - (17 Janeiro - 05
Maio, 2022):
PDF <=