Sumários
Prática #9
21 novembro 2008, 11:00 • Ricardo Joao Rodrigues Goncalves
Computabilidade -Funções computáveis, conjuntos decidíveis e semidecidíveis: exercícios 2.1 g) e r), 2.4 c) e 2.10 i), m), 2.11 d).
Prática #9
20 novembro 2008, 11:00 • Ricardo Joao Rodrigues Goncalves
Computabilidade -Funções computáveis, conjuntos decidíveis e semidecidíveis: exercícios 2.1 g) e r), 2.4 c) e 2.10 i), m), 2.11 d).
Aula Teórica 18
20 novembro 2008, 09:30 • Maria Paula Antunes Abrantes Gouveia
Conjunto H_1 e sua relação com o chamado "problema da paragem". Conjunto W_1^E e sua relação com o chamado "problema da escrita". Conjunto E_P e sua relação com o chamado "problema da equivalência de programas". Estratégias para provar que um conjunto não é decidível. Teorema de Rice. Prova de que H_1 não é decidível (sem recurso ao teorema de Rice). Prova de que W_1^E não é decidível (com recurso ao teorema de Rice). Notebook com várias provas de não decidibilidade.
Prática #9
19 novembro 2008, 14:00 • Antonio Maria Alarcao Ravara
Computabilidade - Conjuntos decidíveis, semidecidíveis e co-semidecidiveis: exercícios 2.1(g) e (s), 2.6(g), 2.10(j) e (n), 2.11(d), 2.4(c) e 2.14(a).
Prática #9
19 novembro 2008, 14:00 • Ricardo Joao Rodrigues Goncalves
Computabilidade -Funções computáveis, conjuntos decidíveis e semidecidíveis: exercícios 2.1 g) e r), 2.4 c) e 2.10 i), m).