Sumários

AP07 Funções Universais

8 outubro 2019, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Univ como função universal própria. Exemplo de função universal definida a partir de univ. Exemplo de função universal própria definida
à custa de outra função universal própria,

AT07 Funções Universais

8 outubro 2019, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Funções diag^u e sdiag^u e suas propriedades. Exemplos de conjuntos listáveis e não decidíveis e de conjuntos não listáveis. Funções universais próprias.

AP06 Conjuntos Listáveis e Decidíveis

3 outubro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Todo o conjunto listável infinito tem enumeração injectiva e computável, Enumeração injectiva e comutável de A^*. Teorema de Post.

AT06 Funções Universais

3 outubro 2019, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Função universal face a conjunto de funções unárias. Não existência de função universal para F1. Funções universais (para C1). Função universal univ. Não existência de aplicação computável binária que seja universal para o conjunto das aplicações unárias.

AP05 Conjuntos Listáveis e Decidíveis

1 outubro 2019, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Reflexão da listabilidade por função inversa. Godelizações. Reduções por godelização,