Sumários

AP17 Teorema da recusão

14 Novembro 2017, 11:00 Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios de aplicação do teorema da recursão e da recursão estendida a conjuntos universais próprios.


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.


AT16 Teorema do ponto ficho e Teorema da recursão

9 Novembro 2017, 11:30 Maria Cristina De Sales Viana Serôdio Sernadas

Conclusão da demonstração do Teorema de Kleene. Relação sobre F_1 induzida por relação de equivalência sobre os naturais. Propriedades \forall CME
e \exists NFP da relação. Impossibilidade de uma relação ter as duas propriedades. Relação de equivalência sobre os naturais induzida por função universal própria.
Demonstração de que esta relação tem a propriedade \forall CME e logo não tem a propriedade \exists NFP.


AP15 Teoremas de Myhill-Shepherdson e de Kleene

7 Novembro 2017, 11:00 Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios de aplicação dos teoremas de Myhill-Shepherdson e de Kleene.


AT15 Teorema de Kleene

7 Novembro 2017, 09:30 Maria Cristina De Sales Viana Serôdio Sernadas

Ponto fixo de operador. Ponto fixo mínimo. Condição suficiente para que operador tenha ponto fixo (Teorema de Kleene).

Sábado 4 de Novembro Teste A de ICC.