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 19-23h.