Sumários
Exercícios sobre complexidade de Kolmogorov
14 dezembro 2017, 14:30 • João 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 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.