Sumários
AT15 Teorema de Kleene
3 novembro 2015, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Ponto fixo de operador. Menor ponto fixo, Teorema de Kleene.
AP14 Operadores
29 outubro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre operadores computáveis, finitários e monótonos.
AT14 Teorema de Myhill Shepherdson
29 outubro 2015, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Lema auxiliar. Teorema de Myhill Shepherdson.
AP13 Operadores
27 outubro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Execícios sobre operadores computáveis, monótonos e finitários.
AT13 Operadores
27 outubro 2015, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Operadores computáveis, monótonos e finitários.