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.