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.