Sumários
Computabilidade
17 novembro 2006, 11:00 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.7.i, 4.1.h,q
Aula Teórica 14
16 novembro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
Propriedades dos conjuntos decidíveis e semidecidíveis.
Computabilidade
16 novembro 2006, 08:30 • Ricardo Joao Rodrigues Goncalves
Exercícios 1.2 b), 1.7 i), 4.1 h) e q).
Aula Teórica 13
14 novembro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
Exemplos de funções computáveis. Conjuntos decidíveis, semidecidíveis e cosemidecidíveis. Exemplos.
Programas Mathematica e Funções computáveis
14 novembro 2006, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.1.m, 1.2.b, 1.8.h