Clique no link Lab2 - Computação Simbólica.pdf para ver o arquivo.