Sumários
Prática #7
7 novembro 2008, 11:00 • Ricardo Joao Rodrigues Goncalves
Computabilidade - Programação Mathematica. Exercícios 2.2 h), e), l) e m), 2.4 b).
Prática #7
6 novembro 2008, 11:00 • Ricardo Joao Rodrigues Goncalves
Computabilidade - Programação Mathematica. Exercícios 2.2 h), e), l) e m), 2.4 b).
Aula Teórica 14
6 novembro 2008, 09:30 • Maria Paula Antunes Abrantes Gouveia
Computabilidade: motivação, modelos de computação, postulado de Church-Turing, o sistema Mathematica como modelo de computação, função computável, conjunto decidível.
Prática #7
5 novembro 2008, 14:00 • Ricardo Joao Rodrigues Goncalves
Computabilidade - Programação Mathematica. Exercícios 2.2 h), e), l) e m), 2.4 b).
Prática #7
5 novembro 2008, 14:00 • Antonio Maria Alarcao Ravara
Computabilidade - Programação Mathematica. Exercícios 2.2 h), e), l) e m), 2.4 b).