Sumários

Exercícios sobre complexidade de Kolmogorov

14 Dezembro 2017, 14:30 João Filipe Quintas dos Santos Rasga

Resolução de exercícios sobre complexidade de Kolmogorov.


AT25 Complexidade de Kolmogorov

14 Dezembro 2017, 11:30 Maria Cristina De Sales Viana Serôdio Sernadas

Complexidade de Kolmogorov de conjuntos. Resulados sobre conjuntos decidíveis.


AP25 Complexidade de Kolmogorov

12 Dezembro 2017, 11:00 Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre complexidade de Kolmogorov e de revisão.


AT25 Complexidade de Kolmogorov

12 Dezembro 2017, 09:30 Maria Cristina De Sales Viana Serôdio Sernadas

Continuação da aula anterior. Complexidade de Kolmogorov de funções.Composição com diferentes versões de oráculos.


Exercícios sobre redutibilidade e completude

7 Dezembro 2017, 14:30 João Filipe Quintas dos Santos Rasga

Resolução de exercícios sobre redutibilidade e completude, não listabilidade efectiva, construção de post, teorema de MyHill e redutibilidade de Turing.