316296 Teoria da Computação
318132 Tópicos em Computação

Mauricio Ayala Rincón

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:

  M. Ayala-Rincón & Flávio L.C. de Moura, Fundamentos da Programação Lógica e Funcional - O Princípio de Resolução e a Teoria de Reescrita -, Notas de Aula, Editora UnB, Dezembro 2014. In Portuguese.

  • 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)

  ---

  • Gabarito, primeira prova 2019 2
  • Gabarito, primeira prova 2018 2
  • Gabarito, segunda prova 2018 2

  ---

  • Some examples of PROLOG programming
    • Queens problem,
    • Derivation,
    • Quicksort,
    • Mastermind,
    • nim,
  • 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 <=