Estrutura do Teste A
17 novembro 2020, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Decidibildade e Listabilidade 1,5 valores
Teoremas de Rice, Rice-Shapiro e RSM^2 3,0 valores
Operadores e Teorema de Kleene 1,5 valores
Três Questões Gerais sobre a Matéria 1,5+1,5+1,0 valores