Aula prática 9

13 dezembro 2007, 13:30 • Ricardo Joao Rodrigues Goncalves

Conjuntos decidíveis e semidecidíveis. Exercícios 2.1.j), 20 e 35. Resolução de exercício extra.

Aula Teórica 16

13 dezembro 2007, 11:00 • Maria Paula Antunes Abrantes Gouveia

Função de aridade n calculada por uma expressão em I. Prova de que W_1^0 não é decidível (prova directa). Teorema de Rice. Prova de que W_1^0 não é decidível usando o teorema de Rice. Relação entre a não decidibilidade do conjunto H_1 e o problema da escrita. Relação entre a não decidibilidade do conjunto W_1^0 e o problema da escrita. Relação entre a não decidibilidade do conjunto {(E1,E2): a função unária calculada por E1 é igual à função unária calculada por E2} e o problema da equivalência de programas.

Aula Teórica 15

11 dezembro 2007, 11:00 • Maria Paula Antunes Abrantes Gouveia

Conjunto semidecidível. Exemplos. Conjunto co-semidecidível. Prova de que a classe dos conjuntos semidecidíveis com a mesma aridade é fechada para a união e para a intersecção.

Aula Prática 8

6 dezembro 2007, 13:30 • Maria Paula Antunes Abrantes Gouveia

Desenvolvimento de pequenos programa imperativos em Mathematica com 2 ciclos encaixados. Exercícios 1.1.p; 1.1.r. Conjuntos decidíveis: 2.1.p. Realização da Ficha 1.

Aula Prática 8

6 dezembro 2007, 13:30 • Ricardo Joao Rodrigues Goncalves

Desenvolvimento de pequenos programa imperativos em Mathematica com 2 ciclos encaixados: Exercícios 1.1.p) e r).

Conjuntos decidíveis: 2.1 p) e l).

Realização da Ficha 1.