Sumários

Aula não realizada

25 setembro 2018, 09:30 Maria Cristina De Sales Viana Serôdio Sernadas

Provas de Agregação em Matemática da Doutora Lurdes Sousa na Universidade de Coimbra.

Aula a substituir no dia 12 de Outubro.


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.