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).