Sumários
AP02 Conceitos básicos
19 setembro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exemplos de minimização. Computabilidade de inversa de enumeração injectiva e computável.
AT02 Conceitos básicos
19 setembro 2019, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Operações que preservam a computabilidade: Minimização e minimização paramétrica.
AP01 Conceitos básicos
17 setembro 2019, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Restrição, composição e agregação e preservação da computabilidade por estas operações.
AT01 Conceitos básicos
17 setembro 2019, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Apresentação e bibliografia. Alfabeto e universo de trabalho. Função parcial. Exemplos. Modelo de computação. Função computável.