Sumários
Computabilidade
14 novembro 2006, 08:30 • Ricardo Joao Rodrigues Goncalves
Exercícios 1.2 b), 1.7 i), 1.8 h) e l).
Computabilidade
13 novembro 2006, 11:00 • Ricardo Joao Rodrigues Goncalves
Exercícios 1.2 b), 1.7 i), 1.8 h) e l).
Mathematica e Teste 2
10 novembro 2006, 11:00 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.1.m) e 1.2.b). Realização do Teste 2.
Aula Teórica 13
9 novembro 2006, 11:30 • Maria Paula Antunes Abrantes Gouveia
Máquina de Turing que reconhece a^nb^n. Máquina de Turing que calcula a soma de naturais em notação unária. O sistema Mathematica como modelo de computação: expressões Mathematica, funções computáveis.
Mathematica e Teste 2
9 novembro 2006, 08:30 • Ricardo Joao Rodrigues Goncalves
Exercícios 1.1.f) e m). Realização do Teste 2.