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.