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.