Sumários

AP09 Funções e Conjuntos Universais Próprios

15 Outubro 2019, 11:00 Maria Cristina De Sales Viana Serôdio Sernadas

Indíces para a intersecção de conjuntos listáveis. Exemplo de função universal que não tem a propriedade smn. Sucessão computável de funções
computáveis unárias.


AT09 Teorema de Rice

15 Outubro 2019, 09:30 Maria Cristina De Sales Viana Serôdio Sernadas

Resultados preliminares. Teorema de Rice.


AP08 Funções Universais

10 Outubro 2019, 14:30 Maria Cristina De Sales Viana Serôdio Sernadas

Relacionamento entre funções universais. Condição suficiente para que função universal seja função universal própria. Toda
a função com a propriedade smn é própria.


AT08 Funções Universais

10 Outubro 2019, 11:30 Maria Cristina De Sales Viana Serôdio Sernadas

Função universal própria. Índices da composição à custa de índices das funções intervenientes. Conjunto universal próprio. Domínio de função universal própria como conjunto universal próprio.


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,