Prática #8

14 novembro 2008, 11:00 • Ricardo Joao Rodrigues Goncalves

Computabilidade - Programação em Mathematica: exercícios 2.4 i).

Computabilidade -Funções computáveis, conjuntos decidíveis e semidecidíveis: exercícios 1.1 e), f) e g), 2.1 c) e r).

Prática #8

13 novembro 2008, 11:00 • Ricardo Joao Rodrigues Goncalves

Computabilidade - Programação em Mathematica: exercícios 2.4 i).

Computabilidade -Funções computáveis, conjuntos decidíveis e semidecidíveis: exercícios 1.1 e), f) e g), 2.1 c) e r).

Aula Teórica 16

13 novembro 2008, 09:30 • Maria Paula Antunes Abrantes Gouveia

Funções computáveis e conjuntos decidíveis (revisão dos conceitos e novos exemplos). Prova de que a intersecção e a união de conjuntos decidíveis com a mesma aridade são ainda conjuntos decidíveis. Conjunto semidecidível: definição e exemplos. Prova de que todos os conjuntos decidíveis são semidecidíveis.

Prática #8

12 novembro 2008, 14:00 • Ricardo Joao Rodrigues Goncalves

Computabilidade - Programação em Mathematica: exercícios 2.4 i).

Computabilidade -Funções computáveis, conjuntos decidíveis e semidecidíveis: exercícios 1.1 e), f) e g), 2.1 c) e r).

Prática #8

12 novembro 2008, 14:00 • Antonio Maria Alarcao Ravara

Computabilidade - Programação em Mathematica: exercícios 2.4 i).

Computabilidade -Funções computáveis, conjuntos decidíveis e semidecidíveis: exercícios 1.1 e), f) e g), 2.1 c) e r).