AT17 Teoremas da recursão
14 novembro 2017, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema da recursão. Existência de vírus. Teorema da recursão parametrizada. Sua interpretação. Decidibilidade de K como corolário do teorema da recursão.