Sumários
Aula Teórica 14
5 novembro 2008, 12: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, 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
5 novembro 2008, 11:00 • Antonio Maria Alarcao Ravara
Computabilidade - Programação Mathematica. Exercícios 2.2 h), e), l) e m), 2.4 b).
Aula Teórica 13
4 novembro 2008, 12:30 • Maria Paula Antunes Abrantes Gouveia
Conclusão da aula anterior.
Aula Teórica 12
4 novembro 2008, 08:00 • Maria Paula Antunes Abrantes Gouveia
Conclusão da aula anterior.