Sumários
Aula Teórica 15
10 novembro 2009, 08:30 • Maria Paula Antunes Abrantes Gouveia
Realização do teste 2.
Aula Prática 8
10 novembro 2009, 08:30 • Paulo Manuel Fontaínha Gomes
Exercícios 1.3b, 1.4b, 2.1 e 2.2 (início) da lista de exercícios para a aula 8.
Aula Prática 7
6 novembro 2009, 12:00 • Paulo Manuel Fontaínha Gomes
Exercícios 2.14, 2.3g e 2.3h da lista de exercícios para as aulas 6 e 7.
Aula Prática 3 (alunos 2a fase)
5 novembro 2009, 14:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios 2.8, 2.3.g e 2.3h da lista de exercícios para as aulas 6 e 7 .
Aula Teórica 14
5 novembro 2009, 12:00 • Maria Paula Antunes Abrantes Gouveia
Noção intuitiva de algoritmo e de função computável. Breve referência a diversos modelos de computação usuais na literatura (máquina de Turing, cálculo lambda, máquina URM). Postulado de Church-Turing. Funções injectivas, sobrejectivas e bijectivas ( transparente ). Conjuntos equipotentes. Conjuntos numeráveis. Prova de que são numeráveis os conjunto dos pares naturais, o conjunto dos inteiros, o conjunto dos naturais positivos, o conjunto {0,1}^* e o conjunto A^* (A conjunto finito).