Sumários
Exercícios sobre teorema de Myhill-Shepherdson.
9 novembro 2017, 14:30 • João Rasga
Resolução de exercícios sobre: teorema de Myhill-Shepherdson.
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.
Exercícios sobre teorema de Rice–Shapiro–Mcnaughton–Myhill, listabilidade dos índices de uma função, teorema de Myhill-Shepherdson.
2 novembro 2017, 14:30 • João Rasga
Resolução de exercícios sobre: teorema de Rice–Shapiro–Mcnaughton–Myhill; listabilidade dos índices de uma função; teorema de Myhill-Shepherdson.