Sumários
AT04 Rudimentos de Teoria da Computabilidade
2 março 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior. Exemplos de funções recursivas. Assinatura e alfabeto de primeira ordem. Exemplos.
AT03 Rudimentos de Teoria da Computabilidade
1 março 2017, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Preservação de conjunto computavelmente enumerável por aplicação computável. Reflexão de conjunto computavelmente enumerável por aplicação em que o conjunto de partida é um universo. Godelização de universo. Preservação e reflexão de conjunto computavelmente enumerável por Godelização. Definição indutiva do conjunto das funções recursivas segundo Kleene.
AP02 - Computabilidade
24 fevereiro 2017, 14:30 • Jaime Ramos
Exercícios sobre conjuntos computáveis e computavelmente enumeráveis.
AT02 Rudimentos de Teoria da Computabilidade
23 fevereiro 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Conceito de função computável. Exemplos. Conjunto computável. Preservação da noção por complemento, união e intersecção finitas. Conjunto computavelmente enumerável. Função característica de conjunto computavelmente enumerável. Teorema da projecção.