Sumários
Aula Teórica 20
2 dezembro 2010, 12:00 • Maria Paula Antunes Abrantes Gouveia
Prova das seguintes proposições: Proposição 1: A linguagem A_TM é semi-decidível. Proposição 2: A linguagem A_TM é não é decidível. Proposição 3: A linguagem complementar de A_TM não é semi-decidível. Proposição 4: A linguagem HALT_TM não é decidível. Proposição 5: A linguagem EQ_TM é semi-decidível.
Aula Prática 11
2 dezembro 2010, 12:00 • Manuel Biscaia Martins
Exercícios 1.1 a) b) c), 1.2, 1.4, 2, 3.1 a) e 3.3 a) b) c) da lista de exercícios para a aula prática 11.
Aula Teórica 20
2 dezembro 2010, 10:30 • Maria Paula Antunes Abrantes Gouveia
Prova das seguintes proposições: Proposição 1: A linguagem A_TM é semi-decidível. Proposição 2: A linguagem A_TM é não é decidível. Proposição 3: A linguagem complementar de A_TM não é semi-decidível. Proposição 4: A linguagem HALT_TM não é decidível. Proposição 5: A linguagem EQ_TM é semi-decidível.
Aula Prática 11
2 dezembro 2010, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.1 a) b) c), 1.2, 1.4, 2, 3.1 a) c) da lista de exercícios para a aula prática 11.
Aula Prática 11
30 novembro 2010, 12:00 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.1 a) b) c), 1.2, 1.4, 2, 3.1 a) e 3.3 a) b) c) da lista de exercícios para a aula prática 11.