T21_21
10 Maio 2019, 10:30 • Mário Jorge Edmundo
Fórmulas decididas correctamente por Q, fecho para conectivos e quantificadores limitados; relações efectivamente decidíveis, funções efectivamente computáveis; tese de Church-Turing. Exemplos de funções efectivamente computáveis: funções básicas, composição, minimização, adição, multiplicação.