Sistemas de Reescrita

Pretende-se apresentar os conceitos básicos da Teoria dos Sistemas de Reescrita, os quais estão na base de muitas aplicações computacionais, incluindo a computação algébrica simbólica, a prova automática de teoremas, a especificação e verificação de programas e a programação de linguagens de ordens superiores. Assim, os alunos obterão as valências necessárias para identificar nos mais variados campos da Teoria da Computação os conceitos aqui apresentados e os que lhes estão subjacentes.

Vem Conhecer o NEEC!!