Sumários
AT03 Conceitos básicos
26 setembro 2017, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conjunto listável. Preservação e reflexão da listabilidade for função computável. Critérios de listabilidade (1 implica 4).
Exercícios sobre área de computação, funções computáveis e função universal.
21 setembro 2017, 14:30 • João Rasga
Resolução de exercícios sobre área de computação, funções computáveis e função universal.
AT02 Conceitos básicos
21 setembro 2017, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Minimização e minimização paramétrica. Conjunto decidível. Resultados sobre preservação e reflexão de conjunto decidível por função computável.
AP01 Conceitos básicos
19 setembro 2017, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exeercícios sobre funções computáveis.
AT01 Apresentação, Conceitos básicos
19 setembro 2017, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Objectivos, programa e bibliografia. Noção de área. Função parcial. Função computável.