Sumários
Aula Prática 10
25 novembro 2010, 12:00 • Manuel Biscaia Martins
Exercício 2.10a da lista de exercícios para a aula prática 9. Exercício 1.3 e 1.2a da lista de exercícios para a aula prática 10.
Aula Teórica 18
25 novembro 2010, 10:30 • Maria Paula Antunes Abrantes Gouveia
Noção informal de algoritmo, funções computáveis e postulado de Chuch-Turing. Proposição: existem funções de {0,1}^* para {0,1}^* que não são computáveis. Prova da proposição recorrendo a argumentos de cardinalidade e ao postulado de Church-Turing. Definição de máquina de Turing universal.
Aula Prática 10
25 novembro 2010, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercício 2.10a da lista de exercícios para a aula prática 9. Exercício 1.3 da lista de exercícios para a aula prática 10.
Aula Prática 10
24 novembro 2010, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercício 2.10a da lista de exercícios para a aula prática 9. Exercício 1.3 e 1.2 a (início) da lista de exercícios para a aula prática 10.
Aula Prática 10
23 novembro 2010, 12:00 • Maria Paula Antunes Abrantes Gouveia
Exercício 2.10a da lista de exercícios para a aula prática 9. Exercício 1.3 e 1.2a da lista de exercícios para a aula prática 10.