Sumários

AP09 Teoremas sobre Conjuntos de Índices (aula online)

26 outubro 2020, 10:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Teoremas de Rice e Rice-Shapiro.

AT11 Teoremas sobre Conjuntos de Índices (aula online)

22 outubro 2020, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Teorema de Rice-Shapiro. Existência de função universal para a classe das funções finitas.

AP08 Teoremas sobre Conjuntos de Índices (aula online)

22 outubro 2020, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Conjuntos de índices para a intersecção de conjuntos na presença de conjunto universal próprio, para imagem inversa de listável por função computável, Função
universal própria induzida por conjunto universal próprio,

AT10 Teoremas sobre Conjuntos de Índices (aula online)

20 outubro 2020, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Teorema de Rice. Enunciado do Teorema de Rice-Shapiro.

AP07 Universalidade (aula online)

19 outubro 2020, 10:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Indices para operações sobre funções. Condição suficiente pra que função universal computável tenha a propriedade smn. Sucessões computáveis.