AT15 Rudimentos de Computabilidade

11 Abril 2019, 14:00 Maria Cristina De Sales Viana Serôdio Sernadas

Alfabeto e universo. Função parcial, domínio e imagem. Função computável. Exemplos. Conjunto decidível.
Preservação da computabilidade por composição.

Teste de MC às 18h30.