Sumários
Aula Teórica 19
30 novembro 2010, 10:00 • Maria Paula Antunes Abrantes Gouveia
Codificação de grafos não etiquetados. Codificação de máquinas de Turing. Esboço de uma máquina de Turing universal.
Aula Teórica 19
30 novembro 2010, 08:30 • Maria Paula Antunes Abrantes Gouveia
Codificação de grafos não etiquetados. Codificação de máquinas de Turing. Esboço de uma máquina de Turing universal.
Aula Prática 11
30 novembro 2010, 08:30 • 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 Prática 10
26 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, 12:00 • Maria Paula Antunes Abrantes Gouveia
Prova das seguintes proposições: (i) o cardinal do
conjunto das palavras binárias infinitas é maior do que o cardinal do conjunto dos números naturais; (ii) o conjunto das máquinas de Turing é equipotente a
o conjunto dos números naturais. Noção informal de algoritmo, funções computáveis e postulado de Chuch-Turing.