T_9a

22 Novembro 2022, 11:30 • Mário Jorge Edmundo

Exemplos de relações decidíveis e funções computáveis: funções básicas; adição e multiplicação; composição; definição por casos; minimização; minimização limitada; subtração; pair, left, right; a função beta de Godel; sequências; recursão; recursão primitiva. Funções recursivas primitivas; funções recursivas; relações recursivas (res. recursivas primitivas); primeira nota sobre a recursividade.