Sumários

AT26 - Redutibilidade-T

17 Dezembro 2009, 13:00 Amilcar Sernadas

Computabilidade relativa e redutibilidade-T. Aplicações da teoria da computabilidade em segurança de informação e complexidade descritiva.

[Aula leccionada por Paulo Mateus por impedimento do responsável.]


AP13 - Redutibilidade

16 Dezembro 2009, 09:30 Jaime Ramos

Exercícios sobre redutibilidade.


AT25 - Teorema de Myhill

15 Dezembro 2009, 15:30 Amilcar Sernadas

Não completude-m de conjunto simples. Lema técnico sobre produtividade. Teorema de Myhill: equivalência entre criatividade e completude-m.

Ficha extra: não imunidade de conjunto efectivamente não listável.


AT24 - Construção de Post

10 Dezembro 2009, 13:00 Amilcar Sernadas

Motivação e definição de conjunto produtivo e de conjunto criativo. Resultado fundamental de relacionamento da completude-m com a não listabilidade efectiva. Motivação e definição de conjunto imune e de conjunto simples. Existência de conjuntos simples (construção de Post).


AP12 - Resolução de um exame tipo

9 Dezembro 2009, 09:30 Jaime Ramos

Resolução de um exame tipo.