Sumários

AT19 Redução m (aula online)

19 novembro 2020, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Redução m. Propriedades.

AP16 Teoremas saobre Conjuntos de Índices (aula online)

19 novembro 2020, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Teorema da Recursão.

AT18 Teoremas sobre Conjuntos de Índices (aula online)

17 novembro 2020, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Propriedades \forallCME e \existsNFP de relações de equivalência sobre os naturais. A relação \sim^u. Teorema da Recursão. Indecidibilidade de K através do Teorema da Recursão,

AP15 Teoremas sobre Conjuntos de Índices (aula online)

16 novembro 2020, 10:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Teoremas de Rogers e de Kleene.

AT17 Teoremas sobre Conjuntos de Índices (aula online)

12 novembro 2020, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Categoria das funções computáveis binárias. Análise nesta categoria dos conceitos de função universal e função universal própria. Funções protofinais. Isomorfismos. Teorema de Rogers. Relações de equivalência e propriedades \forallCME e \existsNFP. Exemplos.