Sumários
AP17 Teste A
10 novembro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Resolução do Teste A que ocorreu nodia 7 de Novembro.
AT17 Teoremas da recursão
10 novembro 2015, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoremas da recursão.
AP16 Revisões
5 novembro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios com vista a preparação do teste A.
AT16 Teoremas da recursão
5 novembro 2015, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior. Aplicações extensionais e sua relevância.
AP15 Operadores
3 novembro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios de aplicação do Teorema de Kleene.