Sumários
Aula Teórica 18
14 novembro 2013, 12:30 • Maria Paula Antunes Abrantes Gouveia
Teorema da recursão: demonstração e exemplo de aplicação (existência de vírus).
Decidibilidade: exercicios.
12 novembro 2013, 14:30 • João Rasga
Resolucão dos exercícios da aula 7-8: 6, 7, 8 e 11.
Aula Teórica 17
12 novembro 2013, 13:00 • Maria Paula Antunes Abrantes Gouveia
Teorema de Rice: demonstração e exemplos de aplicação.
Aula Teórica 16
7 novembro 2013, 12:30 • Maria Paula Antunes Abrantes Gouveia
Propriedades da noção de redução \(L_1\leq_m L_2\) entre linguagens sobre um mesmo alfabeto.