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.