Programare Logica

Anunturi

Bine ati venit la cursul de Programare Logica al Universitatii Bucuresti din anul universitar 2016/2017!

Pentru a primi pe email rezultatele de la restanta din 13 iunie, va rog sa completati acest formular.

Notele de la restanta din 13 iunie au fost trimise. Va rugam sa verificati si in Spam.

Curs

Seminarii

Laborator

ID

Instructori

Bibliografie

  • P. Blackburn, J. Bos, K. Striegnitz, Learn Prolog Now, free online.
  • J. Goguen, Theorem Proving and Algebra, manuscris.
  • F. Baader, T. Nipkow, Terms Rewriting and All That, Cambridge University Press, 1998.
  • F.L. Tiplea, Fundamentele algebrice ale informaticii, (II40405, biblioteca FMI).
  • V.E. Cazanescu, Note de curs.