Fornecer uma visão formal e sistemática de conceitos presentes em linguagens de programação simbólica e funcional.


UNESP-RC-IGCE (Rio Claro).

Semestre 2, 6ª feira 14-18h.