AP25 Decidibidade noutras áreas da Matemática (

18 Dezembro 2018, 11:00 Maria Cristina De Sales Viana Serôdio Sernadas

Decidibilidade do problema da satisfação em lógica proposicional. Problema da coloração em grafos finitos. Demonstração da sua decidibilidade
por redução ao problema da satisfação em lógica proposicional.