Raciocínio Equacional "Nominal" Módulo

Os problemas equacionais são cruciais em matemática, computação e suas aplicações. Esses problemas são geralmente formulados sobre linguagens com operadores que satisfazem propriedades algébricas simples, tais como associatividade (p.ex., concatenação de palavras, relações de parentesco, multiplicação matricial, etc.) e comutatividade (p.ex., operações aritméticas de soma e multiplicação, etc.). Tais propriedades devem ser implementadas na base de sistemas algébricos, simbólicos, dedutivos e, em geral computacionais, de forma correta e eficiente. A palestra irá rever problemas como ‘verificação da igualdade’, ‘casamento’ e ‘unificação’ módulo teorias equacionais e discutir o desenvolvimento em curso de uma abordagem sintático-lógica, denominada “nominal”, desses problemas.