Sumários
AT14 Operadores (aula online)
3 novembro 2020, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Relacionamento entre operadores finitários e monótonos. Operador computável é finitário mas não vice versa.
AP11 Teoremas sobre Conjuntos de Índices (aula online)
2 novembro 2020, 10:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoremas de Rice-Shapiro e de Rice-Shapiro-McNaughton-Myhill.
AT13 Teoremas sobre Conjuntos de Índices (aula online)
29 outubro 2020, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema de Rice-Shapiro-McNaughton-Myhill.
AP10 Teoremas sobre Conjuntos de Índices (aula online)
29 outubro 2020, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoremas de Rice-Shapiro e Rice-Shapiro-McNaughton-Myhill.
AT12 Teoremas sobre Conjuntos de Índices (aula online)
27 outubro 2020, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema de Rice-Shapiro-McNaughton-Myhill.