AP24 Máquinas de Turing

5 Dezembro 2019, 11:30 Maria Cristina De Sales Viana Serôdio Sernadas

Máquinas de Turing. Preservação da computabilidade à Turing por agregação.
Decidibilidade do problema da coloração de grafos finitos.