Sumários
Aula não realizada
25 setembro 2018, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
AT02 Funções computáveis
20 setembro 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Operações que preservam a computabilidade: Minimização e minimização paramétrica.
AP02 Funções computáveis
20 setembro 2018, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Operações que preservam a computabilidade. Bijecção computável entre |N e |N^n.
AP01 função computável
18 setembro 2018, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Preservação da computabilidade por restrição, composição e agregação.
AT01 Função computável
18 setembro 2018, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Alfabeto e universo de trabalho. Função parcial. Exemplos. Modelo de computação. Função computável.