Sumários
AP21 Redutibilidade
26 novembro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre conjuntos m-completos e efectivamente não listáveis.
AT21 Redutibilidade
26 novembro 2015, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conjuntos m-completos e efectivamente não listáveis.
AP21 Redutibilidade
24 novembro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre redutibilidade de conjuntos.
AT21 Redutibilidade
24 novembro 2015, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Relação de redutibilidade sobre conjuntos. Graus.
AP20 Funções recursivas
19 novembro 2015, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre funções recursivas primitivas.